Statistics for topic ocaml

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

Stargazers over time for topic ocaml

Most starred repositories for topic ocaml (view more)

hmemcpy
milewski-ctfp-pdf hmemcpy
597
11.1k
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
346 commits to master branch, last one 22 days ago
reasonml
reason reasonml
428
10.2k
mit
168
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml reason reasonml javascript programming-language
Created 2015-11-16
2,124 commits to master branch, last one 19 days ago
lk-geimfari
awesomo lk-geimfari
667
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 9 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
283
7.8k
mit
83
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
438
6.9k
mit
115
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,598 commits to main branch, last one 12 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,572 (+6)
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, and Terragrunt operations via pull reque...

416 (+5)
mpl-2.0
ocaml-community
ocaml-community/awesome-ocaml

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

2,826 (+4)
aantron
aantron/dream

Tidy, feature-complete Web framework

1,627 (+3)
mit
ocaml
ocaml/ocaml

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

5,549 (+3)
Last 3 days (relative gain)
yawaramin
yawaramin/dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml app

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

416 (+1%)
mpl-2.0
leostera
leostera/minttea

A fun little TUI framework for OCaml

374 (+0.3%)
mit
aantron
aantron/dream

Tidy, feature-complete Web framework

1,627 (+0.2%)
mit
ocaml-multicore
ocaml-multicore/eio

Effects-based direct-style IO for multicore OCaml

570 (+0.2%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

11,070 (+22)
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...

416 (+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,572 (+13)
bsd-3-clause
MinaProtocol
MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

2,013 (+10)
apache-2.0
ocaml-community
ocaml-community/awesome-ocaml

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

2,826 (+8)
Last week (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, and Terragrunt operations via pull reque...

416 (+4%)
mpl-2.0
Nitrokey
Nitrokey/nethsm

Nitrokey NetHSM system software and firmware

58 (+4%)
eupl-1.2
Kakadu
Kakadu/zanuda

OCaml linter

73 (+1%)
lgpl-3.0
geneweb
geneweb/geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

320 (+1%)
gpl-2.0
TheAlgorithms
TheAlgorithms/OCaml

Algorithms Implemented in OCaml

101 (+1%)
mit
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute 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, and Terragrunt operations via pull reque...

416 (+375)
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,572 (+204)
bsd-3-clause
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

11,070 (+54)
ocaml
ocaml/ocaml

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

5,549 (+49)
facebook
facebook/pyre-check

Performant type-checking for python.

6,886 (+25)
mit
Last month (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, and Terragrunt operations via pull reque...

416 (+915%)
mpl-2.0
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

58 (+41%)
pedrobslisboa
pedrobslisboa/ppx-by-example

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

40 (+11%)
AeneasVerif
AeneasVerif/aeneas

A verification toolchain for Rust programs

219 (+10%)
apache-2.0
Nitrokey
Nitrokey/nethsm

Nitrokey NetHSM system software and firmware

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

416
mpl-2.0
chshersh
chshersh/github-tui

🌒 A TUI for GitHub

80
mpl-2.0
dbcaml
dbcaml/dbcaml

DBCaml is a database library for OCaml

63
mit
ad-si
ad-si/awesome-fp-jobs

A curated list of awesome functional programming jobs.

58
pedrobslisboa
pedrobslisboa/ppx-by-example

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

40
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,572 (+1,673)
bsd-3-clause
ocaml
ocaml/ocaml

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

5,549 (+599)
hmemcpy
hmemcpy/milewski-ctfp-pdf

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

11,070 (+546)
riot-ml
riot-ml/riot

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

584 (+418)
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...

416 (+398)
mpl-2.0
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, and Terragrunt operations via pull reque...

416 (+2,211%)
mpl-2.0
nlsandler
nlsandler/nqcc2

Reference implementation for Writing a C Compiler

126 (+1,475%)
mit
pedrobslisboa
pedrobslisboa/ppx-by-example

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

40 (+700%)
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

122 (+618%)
formalsec
formalsec/smtml

A frontend for multiple SMT solvers in OCaml

28 (+460%)
mit