#Ocaml

Showing 39 of 39 repositories tagged #ocaml, ranked by stars

lk-geimfari
lk-geimfari
awesomo

Cool open source projects. Choose your project and get involved in Open Source development now.

Score
100
β˜… 9.9k β‘‚ 687 β€”
Go
revery-ui
revery-ui
revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

Score
100
β˜… 8.0k β‘‚ 196 β€”
Reason
facebook
facebook
pyre-check

Performant type-checking for python.

Score
100
β˜… 7.2k β‘‚ 453 β€”
OCaml
extism
extism
extism

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

Score
50
β˜… 5.7k β‘‚ 164 +2/day
Rust
viebel
viebel
klipse

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

Score
0
β˜… 3.1k β‘‚ 150 β€”
HTML
BinaryAnalysisPlatform
BinaryAnalysisPlatform
bap

Binary Analysis Platform

Score
100
β˜… 2.2k β‘‚ 283 β€”
OCaml
MinaProtocol
MinaProtocol
mina

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

Score
100
β˜… 2.1k β‘‚ 585 β€”
OCaml
netgusto
netgusto
nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

Score
0
β˜… 1.6k β‘‚ 83 β€”
Go
tezos
tezos
tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

Score
60
β˜… 1.5k β‘‚ 208 β€”
terrateamio
terrateamio
terrateam

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

Score
100
β˜… 1.2k β‘‚ 71 β€”
OCaml
AeneasVerif
AeneasVerif
aeneas

A verification toolchain for Rust programs

Score
100
β˜… 847 β‘‚ 86 +21/day
OCaml
reasonml-old
reasonml-old
reason-react
Score
50
β˜… 631 β‘‚ 40 β€”
OCaml
briskml
briskml
brisk

✨Cross-platform set of tools for building native UIs with Reason/OCaml

Score
83
β˜… 558 β‘‚ 8 +1/day
OCaml
leostera
leostera
minttea

A fun little TUI framework for OCaml

Score
100
β˜… 470 β‘‚ 32 +1/day
OCaml
LaurentMazare
LaurentMazare
ocaml-torch

OCaml bindings for PyTorch

Score
50
β˜… 442 β‘‚ 39 β€”
OCaml
uber
uber
NEAL

πŸ”ŽπŸž A language-agnostic linting platform

Score
67
β˜… 429 β‘‚ 27 β€”
OCaml
terrateamio
terrateamio
openinfraquote

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

Score
0
β˜… 319 β‘‚ 20 β€”
OCaml
akabe
akabe
ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

Score
100
β˜… 313 β‘‚ 49 +1/day
Jupyter Notebook
hannesm
hannesm
jackline

minimalistic secure XMPP client in OCaml

Score
75
β˜… 256 β‘‚ 19 β€”
OCaml
Zilliqa
Zilliqa
scilla

Scilla - A Smart Contract Intermediate Level Language

Score
40
β˜… 251 β‘‚ 76 β€”
OCaml
darklang
darklang
philip2

An Elm to OCaml compiler

Score
0
β˜… 211 β‘‚ 5 β€”
OCaml
OCamlPro
OCamlPro
liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

Score
20
β˜… 157 β‘‚ 33 β€”
OCaml
pappasam
pappasam
nvim-repl

Better REPLs in nvim 0.11+, supporting aider (AI), ipython, utop, and more!

Score
50
β˜… 124 β‘‚ 14 β€”
Vim Script
ahrefs
ahrefs
ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

Score
100
β˜… 117 β‘‚ 8 β€”
OCaml
tezos
tezos
tezos-mirror

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

Score
80
β˜… 113 β‘‚ 41 β€”
OCaml
mirage
mirage
awa-ssh

Purely functional SSH library in ocaml.

Score
0
β˜… 108 β‘‚ 13 β€”
OCaml
hammerlab
hammerlab
ppx_deriving_cmdliner

Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)

Score
0
β˜… 99 β‘‚ 12 β€”
OCaml
ocsigen
ocsigen
ocsigen-start

Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration, notifications, etc.

Score
100
β˜… 86 β‘‚ 33 β€”
OCaml
nathanfallet
nathanfallet
ocaml

An OCaml editor, top level, and learning place for iOS, iPadOS and macOS

Score
33
β˜… 86 β‘‚ 8 β€”
Swift
m4b
m4b
raml

OCaml runtime and FFI bindings directly in Rust

Score
0
β˜… 81 β‘‚ 5 β€”
Rust
FrankKair
FrankKair
polyglot-euler

πŸ“œ Project Euler solutions in various programming languages

Score
50
β˜… 76 β‘‚ 14 β€”
Elixir
FiberJW
FiberJW
one-punch-fitness

A "One Punch Man"-inspired workout app!

Score
17
β˜… 70 β‘‚ 7 β€”
OCaml
Astrocoders
Astrocoders
restyled

Styled Components concept for Reason React, only works with bs-react-native for now

Score
0
β˜… 69 β‘‚ 2 β€”
OCaml
syaiful6
syaiful6
ocaml.nvim

A comprehensive Neovim plugin for OCaml development with intelligent sandbox detection, LSP integration, and comprehensive filetype support.

Score
25
β˜… 40 β‘‚ 1 β€”
Lua
jewelltaylor
jewelltaylor
camlgrad

Toy autograd engine in OCaml with Apple Accelerate backend

Score
0
β˜… 31 β‘‚ 0 β€”
OCaml
dakotamurphyucf
dakotamurphyucf
ochat

Text-first toolkit for building reproducible, composable LLM workflows as plain files in OCaml.

Score
0
β˜… 29 β‘‚ 3 β€”
OCaml
Parseval-Labs
Parseval-Labs
SoundML

A high level DSP library in the OCaml language

Score
0
β˜… 27 β‘‚ 0 β€”
OCaml
oxheadalpha
oxheadalpha
TZComet

Contract Metadata Viewer on Tezos

Score
0
β˜… 25 β‘‚ 2 β€”
OCaml
davy39
davy39
xeus-ocaml

Ocaml kernel for Jupyterlite

Score
50
β˜… 14 β‘‚ 2 β€”
Jupyter Notebook
Related Topics
#python#reasonml#rust#ruby#react#blockchain#smart-contracts#machine-learning#elixir#haskell#lua#reason

Β© 2026 GitRepoTrend Β· GitHub repositories by topic Β· Updated weekly