ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
86,576 visible repositories in the index
1–5 of 5 · Most stars
A language that compiles to Bash and Windows Batch
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda