Starred repositories
32
stars
written in OCaml
Clear filter
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
The core OCaml system: compilers, runtime system, base libraries
A code rewrite tool for structural search and replace that supports ~every language.
Context sensitive completion for OCaml in Vim and Emacs
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
🍬 a functional language for building type-safe, scalable, and maintainable applications
Proof assistant based on the λΠ-calculus modulo rewriting
A garden of small programming language implementations 🪴
Lock-free data structures for multicore OCaml
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…
An OCaml generic virtual machine for microcontrollers
Statically typed embedding of miniKanren relational programming language into OCaml
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
Accompanying materials for "A Core Calculus for Documents"