Terminal coming soon ...

Deductive verification infrastructure for probabilistic programs

Open-source, vision-first browser agent

A framework for formally verifying distributed systems implementations in Coq

Pocket Flow: Codebase to Tutorial

Mech Interp in Haskell

Haskell libraries for ∆Q Systems Development

Haskell library for symbolic integration.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

An introduction to programming language theory in Agda

Spartan type theory

A minimal proof checker.

Programming language for literate programming law specification

Implementation of the Delta Language

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Haskell-based shell scripting language

A refreshingly simple data-driven game engine built in Rust

A framework for smart contract verification in Coq

List of papers studying machine learning through the lens of category theory

A set of minimal dependency bootstrap binaries

A fast, flexible, fused effect system for Haskell

Repository with code snippets that accompany episodes of The Haskell Unfolder

The Software Foundations book, in GHC

A massively parallel, high-level programming language

📖 source material for Thinking with Types

A list of Reverse Engineering articles, books, and papers