ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
77,852 visible repositories in the index
1–9 of 9 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
Interfacing Qt/QML with OCaml. Formely known as lablqt
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
OCaml bindings to the SQLite3 database
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Process pools for OCaml