Stars
Genome modeling and design across all domains of life
macOS cross compiler toolchains
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Поиск аттракторов и репеллеров случайно сгенерированных географических точек
A stream-based runtime-verification framework for generating hard real-time C code.
A dependently typed type checker for a TT with intervals
Unofficial PAB implementation
Advanced techniques in the plutus smart contract language
A library for doing generic programming in Agda
Unification and type inference algorithms
The cuteness implementation of a dependently typed language.
Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
Agda formalisation of the Introduction to Homotopy Type Theory
Library to support efficient compilation of large records (linear in the number of record fields)
From Haskell to Hardware via CCCs
Focused domain model declaration toolkit for Haskell
Explore fractals in an audio-visual sandbox