Statistics for topic ocaml

RepositoryStats tracks 579,129 Github repositories, of these 287 are tagged with the ocaml topic. The most common primary language for repositories using this topic is OCaml (213). Other languages include: Reason (16)

Stargazers over time for topic ocaml

Most starred repositories for topic ocaml (view more)

hmemcpy
milewski-ctfp-pdf hmemcpy
593
11.0k
other
244
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
345 commits to master branch, last one 17 days ago
reasonml
reason reasonml
428
10.1k
mit
169
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml reason reasonml javascript programming-language
Created 2015-11-16
2,114 commits to master branch, last one 3 days ago
lk-geimfari
awesomo lk-geimfari
665
9.4k
cc0-1.0
271
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 8 months 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
282
7.8k
mit
84
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 2 years ago
facebook
pyre-check facebook
437
6.9k
mit
112
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
16,994 commits to main branch, last one 10 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)
extism
extism/extism

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

4,293 (+4)
bsd-3-clause
chshersh
chshersh/zbg

✨ Zero Bullshit Git

186 (+3)
mpl-2.0
ocaml
ocaml/ocaml

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

5,471 (+2)
sanette
sanette/bogue

GUI library for ocaml based on SDL2

190 (+1)
Binary-Hackers
Binary-Hackers/42_Corrections

Corrections files of 42 School

323 (+1)
Last 3 days (relative gain)
chshersh
chshersh/zbg

✨ Zero Bullshit Git

186 (+2%)
mpl-2.0
sanette
sanette/bogue

GUI library for ocaml based on SDL2

190 (+0.5%)
Binary-Hackers
Binary-Hackers/42_Corrections

Corrections files of 42 School

323 (+0.3%)
extism
extism/extism

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

4,293 (+0.1%)
bsd-3-clause
ocaml
ocaml/ocaml

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

5,471 (+0.0%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (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,293 (+4)
bsd-3-clause
chshersh
chshersh/zbg

✨ Zero Bullshit Git

186 (+3)
mpl-2.0
formalsec
formalsec/smtml

A frontend for multiple SMT solvers in OCaml

26 (+1)
mit
sanette
sanette/bogue

GUI library for ocaml based on SDL2

190 (+1)
Binary-Hackers
Binary-Hackers/42_Corrections

Corrections files of 42 School

323 (+1)
Last week (relative gain)
formalsec
formalsec/smtml

A frontend for multiple SMT solvers in OCaml

26 (+4%)
mit
chshersh
chshersh/zbg

✨ Zero Bullshit Git

186 (+2%)
mpl-2.0
sanette
sanette/bogue

GUI library for ocaml based on SDL2

190 (+0.5%)
Binary-Hackers
Binary-Hackers/42_Corrections

Corrections files of 42 School

323 (+0.3%)
extism
extism/extism

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

4,293 (+0.1%)
bsd-3-clause
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,293 (+80)
bsd-3-clause
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

10,996 (+60)
hazelgrove
hazelgrove/hazel

Hazel, a live functional programming environment with typed holes

797 (+48)
mit
ocaml
ocaml/ocaml

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

5,471 (+45)
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,566 (+30)
mit
Last month (relative gain)
formalsec
formalsec/smtml

A frontend for multiple SMT solvers in OCaml

26 (+44%)
mit
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

115 (+8%)
mit
brendanzab
brendanzab/ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

53 (+8%)
hazelgrove
hazelgrove/hazel

Hazel, a live functional programming environment with typed holes

797 (+6%)
mit
Khady
Khady/modern-ocaml

Template for an ocaml project with modern tooling

75 (+6%)
agpl-3.0
Last 12-months (new repositories)
leostera
leostera/minttea

A fun little TUI framework for OCaml

355
mit
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

64
mpl-2.0
dbcaml
dbcaml/dbcaml

DBCaml is a database library for OCaml

62
mit
Nitrokey
Nitrokey/nethsm

Nitrokey NetHSM system software and firmware

53
eupl-1.2
pedrobslisboa
pedrobslisboa/ppx-by-example

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

34
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,293 (+1,512)
bsd-3-clause
ocaml
ocaml/ocaml

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

5,471 (+610)
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

10,996 (+532)
riot-ml
riot-ml/riot

An actor-model multi-core scheduler for OCaml 5 🐫

569 (+468)
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,566 (+369)
mit
Last 12-months (relative gain)
dmmulroy
dmmulroy/create-melange-app

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

119 (+2,875%)
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

115 (+2,200%)
mit
leostera
leostera/minttea

A fun little TUI framework for OCaml

355 (+1,168%)
mit
pedrobslisboa
pedrobslisboa/ppx-by-example

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

34 (+580%)
riot-ml
riot-ml/riot

An actor-model multi-core scheduler for OCaml 5 🐫

569 (+463%)