ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
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