Statistics for topic ocaml

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

Stargazers over time for topic ocaml

Most starred repositories for topic ocaml (view more)

hmemcpy
milewski-ctfp-pdf hmemcpy
594
11.0k
other
243
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 about a month 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,115 commits to master branch, last one 4 days ago
lk-geimfari
awesomo lk-geimfari
665
9.4k
cc0-1.0
270
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
196
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
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
17,017 commits to main branch, last one 16 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,368 (+47)
bsd-3-clause
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

41 (+25)
ocaml
ocaml/ocaml

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

5,499 (+8)
facebook
facebook/pyre-check

Performant type-checking for python.

6,862 (+3)
mit
onivim
onivim/oni2

Native, lightweight modal code editor

7,842 (+3)
mit
Last 3 days (relative gain)
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

41 (+156%)
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, and Terragrunt operations via pull reque...

41 (+64%)
mpl-2.0
rizo
rizo/helix

Build reactive web interfaces in OCaml.

63 (+3%)
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

71 (+3%)
mpl-2.0
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

122 (+2%)
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.

4,368 (+50)
bsd-3-clause
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

41 (+25)
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, and Terragrunt operations via pull reque...

41 (+22)
mpl-2.0
ocaml
ocaml/ocaml

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

5,499 (+19)
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,587 (+10)
mit
Last week (relative gain)
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

41 (+156%)
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, and Terragrunt operations via pull reque...

41 (+116%)
mpl-2.0
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

122 (+5%)
mit
rizo
rizo/helix

Build reactive web interfaces in OCaml.

63 (+3%)
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

71 (+3%)
mpl-2.0
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,368 (+123)
bsd-3-clause
hazelgrove
hazelgrove/hazel

Hazel, a live functional programming environment with typed holes

803 (+53)
mit
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

11,015 (+51)
ocaml
ocaml/ocaml

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

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

FUSE filesystem over Google Drive

5,587 (+32)
mit
Last month (relative gain)
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

41 (+156%)
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, and Terragrunt operations via pull reque...

41 (+128%)
mpl-2.0
formalsec
formalsec/smtml

A frontend for multiple SMT solvers in OCaml

27 (+17%)
mit
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

71 (+11%)
mpl-2.0
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

122 (+11%)
mit
Last 12-months (new repositories)
leostera
leostera/minttea

A fun little TUI framework for OCaml

364
mit
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

71
mpl-2.0
dbcaml
dbcaml/dbcaml

DBCaml is a database library for OCaml

63
mit
Nitrokey
Nitrokey/nethsm

Nitrokey NetHSM system software and firmware

54
eupl-1.2
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

41
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,368 (+1,554)
bsd-3-clause
ocaml
ocaml/ocaml

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

5,499 (+602)
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

11,015 (+527)
riot-ml
riot-ml/riot

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

575 (+453)
astrada
astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

5,587 (+367)
mit
Last 12-months (relative gain)
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

122 (+2,340%)
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

120 (+1,900%)
leostera
leostera/minttea

A fun little TUI framework for OCaml

364 (+1,200%)
mit
pedrobslisboa
pedrobslisboa/ppx-by-example

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

35 (+600%)
formalsec
formalsec/smtml

A frontend for multiple SMT solvers in OCaml

27 (+440%)
mit