Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
70,234 visible repositories in the index
1–7 of 7 · Most stars
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Functional HTML scraping and rewriting with CSS in OCaml
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