Statistics for topic ocaml

RepositoryStats tracks 634,566 Github repositories, of these 300 are tagged with the ocaml topic. The most common primary language for repositories using this topic is OCaml (224). Other languages include: Reason (17)

Stargazers over time for topic ocaml

30030025025020020015015010010050500020192019202020202021202120222022202320232024202420252025

Most starred repositories for topic ocaml (view more)

hmemcpy
milewski-ctfp-pdf hmemcpy
602
11.2k
other
239
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
cpp pdf latex ocaml scala haskell category-theory functional-programming
Created 2017-09-02
349 commits to master branch, last one 6 days ago
reasonml
reason reasonml
430
10.2k
mit
165
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml reason reasonml javascript programming-language
Created 2015-11-16
2,142 commits to master branch, last one 10 days ago
lk-geimfari
awesomo lk-geimfari
671
9.5k
cc0-1.0
269
Cool open source projects. Choose your project and get involved in Open Source development now.
dev lua lisp list ruby rust ocaml scala elixir erlang python awesome clojure haskell projects emacs-lisp typescript open-source
Created 2016-12-13
2 commits to main branch, last one about a year ago
revery-ui
revery revery-ui
197
8.1k
mit
78
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
ui app ocaml react native reason desktop electron reasonml desktop-apps cross-platform
Created 2018-09-19
888 commits to master branch, last one 3 years ago
onivim
oni2 onivim
283
7.8k
mit
82
Native, lightweight modal code editor
oni linux macos ocaml editor revery windows reasonml
Created 2019-01-02
2,208 commits to master branch, last one 3 years ago
facebook
pyre-check facebook
446
7.0k
mit
114
Performant type-checking for python.
ocaml python security type-check typechecker code-quality taint-analysis static-analysis program-analysis control-flow-analysis abstract-interpretation
Created 2017-11-10
20,082 commits to main branch, last one 17 hours ago

Trending repositories for topic ocaml (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
terrateamio
terrateamio/openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

80 (+17)
mpl-2.0
extism
extism/extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

4,846 (+10)
bsd-3-clause
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,695 (+6)
mit
facebook
facebook/pyre-check

Performant type-checking for python.

6,969 (+5)
mit
BinaryAnalysisPlatform
BinaryAnalysisPlatform/bap

Binary Analysis Platform

2,120 (+4)
mit
Last 3 days (relative gain)
terrateamio
terrateamio/openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

80 (+27%)
mpl-2.0
pappasam
pappasam/nvim-repl

Better REPLs in Neovim, supporting aider (AI), ipython, utop, and more!

79 (+4%)
chshersh
chshersh/ccl

📜 CCL: Categorical Configuration Language, The most elegant configuration language

201 (+1%)
mit
geoffder
geoffder/dometyl-keyboard

A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.

256 (+0.4%)
agpl-3.0
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+0.3%)
mpl-2.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
terrateamio
terrateamio/openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

80 (+47)
mpl-2.0
extism
extism/extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

4,846 (+34)
bsd-3-clause
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+14)
mpl-2.0
facebook
facebook/pyre-check

Performant type-checking for python.

6,969 (+11)
mit
ocaml-community
ocaml-community/awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

2,895 (+10)
Last week (relative gain)
terrateamio
terrateamio/openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

80 (+142%)
mpl-2.0
pappasam
pappasam/nvim-repl

Better REPLs in Neovim, supporting aider (AI), ipython, utop, and more!

79 (+4%)
patricoferris
patricoferris/ppx_deriving_yaml

OCaml types to Yaml types and back again

40 (+3%)
isc
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+2%)
mpl-2.0
chshersh
chshersh/ccl

📜 CCL: Categorical Configuration Language, The most elegant configuration language

201 (+1%)
mit
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
extism
extism/extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

4,846 (+91)
bsd-3-clause
terrateamio
terrateamio/openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

80 (+79)
mpl-2.0
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+59)
mpl-2.0
ocaml
ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

5,713 (+49)
claby2
claby2/camlcade

🐫🎮 OCaml Game Engine

39 (+34)
Last month (relative gain)
claby2
claby2/camlcade

🐫🎮 OCaml Game Engine

39 (+680%)
OCamlPro
OCamlPro/owi

Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife

170 (+17%)
agpl-3.0
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+10%)
mpl-2.0
pappasam
pappasam/nvim-repl

Better REPLs in Neovim, supporting aider (AI), ipython, utop, and more!

79 (+5%)
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

144 (+4%)
mit
Last 12-months (new repositories)
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661
mpl-2.0
chshersh
chshersh/ccl

📜 CCL: Categorical Configuration Language, The most elegant configuration language

201
mit
terrateamio
terrateamio/openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

80
mpl-2.0
pedrobslisboa
pedrobslisboa/ppx-by-example

This repository contains examples to help on understanding what are and how to write PPXs in OCaml.

41
claby2
claby2/camlcade

🐫🎮 OCaml Game Engine

39
Last 12-months (absolute gain)
extism
extism/extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

4,846 (+1,209)
bsd-3-clause
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+643)
mpl-2.0
ocaml
ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

5,713 (+576)
hmemcpy
hmemcpy/milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

11,192 (+482)
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,695 (+356)
mit
Last 12-months (relative gain)
terrateamio
terrateamio/terrateam

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...

661 (+3,572%)
mpl-2.0
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

193 (+3,117%)
mpl-2.0
pedrobslisboa
pedrobslisboa/ppx-by-example

This repository contains examples to help on understanding what are and how to write PPXs in OCaml.

41 (+720%)
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

144 (+555%)
mit
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

65 (+306%)