Statistics for topic ocaml

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

Stargazers over time for topic ocaml

Most starred repositories for topic ocaml (view more)

hmemcpy
milewski-ctfp-pdf hmemcpy
565
10.8k
other
241
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
340 commits to master branch, last one 5 days ago
reasonml
reason reasonml
425
10.1k
mit
174
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml reason reasonml javascript programming-language
Created 2015-11-16
2,033 commits to master branch, last one 2 months ago
lk-geimfari
awesomo lk-geimfari
659
9.2k
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 2 months ago
revery-ui
revery revery-ui
196
8.1k
mit
80
: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 2 years ago
onivim
oni2 onivim
273
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
428
6.7k
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
15,940 commits to main branch, last one 11 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)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+12)
apache-2.0
riot-ml
riot-ml/riot

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

453 (+6)
extism
extism/extism

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

3,829 (+6)
bsd-3-clause
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

10,775 (+6)
ocaml
ocaml/ocaml

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

5,189 (+4)
Last 3 days (relative gain)
ahrefs
ahrefs/ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

55 (+2%)
bsd-2-clause
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server

139 (+1%)
gpl-3.0
riot-ml
riot-ml/riot

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

453 (+1%)
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

100 (+1%)
ml-in-barcelona
ml-in-barcelona/server-reason-react

Server rendering Reason React components with OCaml natively

119 (+0.8%)
mit
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.

3,829 (+15)
bsd-3-clause
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+14)
apache-2.0
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,384 (+11)
mit
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

10,775 (+9)
riot-ml
riot-ml/riot

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

453 (+8)
Last week (relative gain)
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server

139 (+3%)
gpl-3.0
dbcaml
dbcaml/dbcaml

DBCaml is a database library for OCaml

53 (+2%)
mit
ahrefs
ahrefs/ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

55 (+2%)
bsd-2-clause
riot-ml
riot-ml/riot

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

453 (+2%)
formal-land
formal-land/coq-of-ocaml

Formal verification for OCaml

242 (+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.

3,829 (+105)
bsd-3-clause
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server

139 (+40)
gpl-3.0
ocaml
ocaml/ocaml

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

5,189 (+38)
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

10,775 (+37)
riot-ml
riot-ml/riot

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

453 (+34)
Last month (relative gain)
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server

139 (+40%)
gpl-3.0
dbcaml
dbcaml/dbcaml

DBCaml is a database library for OCaml

53 (+20%)
mit
tezos
tezos/tezos-mirror

Github test mirror of the Octez software. Please do not submit pull-requests here!

73 (+16%)
mit
ahrefs
ahrefs/ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

55 (+12%)
bsd-2-clause
AeneasVerif
AeneasVerif/aeneas

A verification toolchain for Rust programs

132 (+12%)
apache-2.0
Last 12-months (new repositories)
riot-ml
riot-ml/riot

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

453
leostera
leostera/minttea

A fun little TUI framework for OCaml

286
mit
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

100
robur-coop
robur-coop/miou

A simple scheduler for OCaml 5

82
mit
dbcaml
dbcaml/dbcaml

DBCaml is a database library for OCaml

53
mit
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.

3,829 (+1,737)
bsd-3-clause
ocaml
ocaml/ocaml

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

5,189 (+755)
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

10,775 (+596)
riot-ml
riot-ml/riot

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

453 (+451)
aantron
aantron/dream

Tidy, feature-complete Web framework

1,529 (+412)
mit
Last 12-months (relative gain)
robur-coop
robur-coop/miou

A simple scheduler for OCaml 5

82 (+1,950%)
mit
c-cube
c-cube/moonpool

Commodity thread pools and concurrency primitives for OCaml 5

52 (+1,200%)
leostera
leostera/minttea

A fun little TUI framework for OCaml

286 (+921%)
mit
sammi-turner
sammi-turner/OCaml-Examples

This repo is designed to get you started with OCaml.

55 (+817%)
benfaerber
benfaerber/liquid-ml

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

36 (+800%)
mit