Disco web UI

Functional teaching language for use in a discrete mathematics course

Efficient exact computation of combinatoric functions.

A Haskell STARK Prover.

A non-interactive proof assistant using the Haskell type system

Delta types represent changes to data

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A full node wallet targeting businesses in need to track their ADA deposits

DevOps Notebooks Built with Markdown

Portable backend to ship fast.

A slow-paced introduction to reflection in Agda. ---Tactics!

Compiling Agda code to readable Haskell

Haskell implemented with combinators

FineTypes is an interface description language (IDL) focussing on types

A tool suite to aid Haskell development using `cabal-install`

🤖 Just a command runner

a little blog

Haskell libraries for ∆Q Systems Development

A very minimalistic C++ library for training neural networks

Documentation for Cachix service.

Example project showing how to integrate agda2hs as preprocessor using Cabal

A formulation of the ∆QSD approach captured as Haskell typeclass and associated functionality.

Formally verified wallet implementation

Macintosh Programmer's Workshop VM for current computers

Various notes on Agda and agda2hs

Manage your macOS using Nix

haskell nix example repository

FineTypes is an interface description language (IDL) focussing on types

🪽 Credential creation, issuance, and proving framework

To learn about optics and microscopy, we generated a simple to build lego microscope that does not need precision optics and 3D printed parts.