PinnedLoading

1. tact-lang/tacttact-lang/tactPublic

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

   TypeScript 545 162

2. FuelLabs/swayFuelLabs/swayPublic

   🌴 Empowering everyone to build reliable and efficient smart contracts.

   Rust 62.4k 5.4k

3. Zilliqa/scillaZilliqa/scillaPublic

   Scilla - A Smart Contract Intermediate Level Language

   OCaml 247 78

4. mtt-lang/mtt-langmtt-lang/mtt-langPublic

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

   OCaml 43 8

5. coq-lecture-notescoq-lecture-notesPublic

   Coq Lecture Notes (WIP)

   Coq 54 10

6. imdea-software/fcsl-pcmimdea-software/fcsl-pcmPublic

   Partial Commutative Monoids

   Coq 28 13