Compilers and language tooling

Pinned Loading

1. ⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration

   TypeScript 694 217

2. 🌴 Empowering everyone to build reliable and efficient smart contracts.

   Rust 61.8k 5.4k

3. Scilla - A Smart Contract Intermediate Level Language

   OCaml 250 76

4. A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

   OCaml 48 8

5. Coq Lecture Notes (WIP)

   Coq 56 11

6. Partial Commutative Monoids

   Rocq Prover 35 13