AeneasVerif / aeneas
A verification toolchain for Rust programs
AeneasVerif / aeneas
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
FStarLang / FStar
A Proof-oriented Programming Language
reasonml / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
extism / extism
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
MinaProtocol / mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml / dune
A composable build system for OCaml.
camlworks / dream
Tidy, feature-complete Web framework
ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml / opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
owlbarn / owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
stategraph / stategraph
Terraform without the state file bottleneck
hazelgrove / hazel
Hazel, a live functional programming environment with typed holes
ocsigen / js_of_ocaml
Compiler from OCaml to Javascript.
melange-re / melange
A mixture of tooling combined to produce JavaScript from OCaml & Reason
cs3110 / textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
oxcaml / oxcaml
OCaml - Oxidized!
ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
esy / esy
package.json workflow for native development with Reason/OCaml
ocsigen / lwt
OCaml promises and concurrent I/O
ocaml-multicore / eio
Effects-based direct-style IO for multicore OCaml
ocaml-ppx / ocamlformat
Auto-formatter for OCaml code
davesnx / query-json
Faster, simpler and more portable implementation of jq-inspired language in OCaml
ocaml / opam-repository
Main public package repository for opam, the source package manager of OCaml.
vult-dsp / vult
Vult is a transcompiler well suited to write high-performance DSP code
c-cube / ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.