ocaml

aeneas

+27

A verification toolchain for Rust programs

FStar

+7

A Proof-oriented Programming Language

stategraph

+6

Terraform without the state file bottleneck

ocaml/ocaml

+6

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

awesomo

+5

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

extism/extism

+6

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

dream

+3

Tidy, feature-complete Web framework

reason

+4

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

google-drive-ocamlfuse

+3

FUSE filesystem over Google Drive