Stars
What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
Noir is a domain specific language for zero knowledge proofs
Interface with the rustc compiler for the purpose of program verification
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
Interchain Security is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.
A pure functional language for type-level programming in Rust
Programming language for literate programming law specification
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
A book about compiling Racket and Python to x86-64 assembly
Comparing Haskell effect systems for ergonomics and speed
A language for intent-centric and declarative decentralised applications
Algebraic Effects in Haskell using Implicit Parameters
An experimental Haskell library for programming with effectful runners.
Comonads By Example Conference talk
Dependently Typed Lambda Calculus in Haskell
Benchmarking Haskell extensible-effect libraries.
An implementation of binary session types in OCaml
Web application for exploring and understanding Haskell codebases
A library for deadlock-free session-typed communication in Rust.
An insanely simple self-hosted functional programming language