Stars
This project aims to implement the 21 most common blockchain use cases for Cardano
Automated Formal Verification Tool for Cardano Smart Contracts
LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds…
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala
Scala library for boilerplate-free, type-safe data transformations
Total Parser Combinators in Coq [maintainer=@womeier]
Automatic checker for lock-free concurrent programs in Coq.
The core OCaml system: compilers, runtime system, base libraries