Repository Index

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language