Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
A modern supercompiler for call-by-value functional languages
The Ott tool for writing definitions of programming languages and calculi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
The Frenetic Programming Language and Runtime System
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language