Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
OCaml project generator.
- spin
- ocaml
- reason
- template
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing