The command-line interface for the ICP SDK.

A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer

Just playing around with hyperfunctions

Threshold voting and execution for the IC

Formal specification and verification of hardware, especially for security and privacy.

An automatic declarative ASCIInema recorder

Experimental proof assistant (and architecture) for dependent linear logic

nix expressions for hie-core

A lambda calculus to explore type-directed program synthesis.

Open Dylan compiler and IDE

AirPlay and AirPlay 2 audio player

Free categories, free arrows and free categories with monadic actions

A dependently typed actor framework for haskell.

A minimal proof language.

An axiom-free formalization of category theory in Coq for personal study and practical work

Sturdy is a library for developing sound static analyses in Haskell.

Example usage of cef3 haskell bindings

This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.

Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)

The CircleCI REST API for Haskell.

Experiments with the Cavium CN6800 university program board

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

A library of components for RISC-V implementations in Haskell CLaSH

Haskell 98 Profunctors

Contrived example of making host to guest RPC using webview executeJavascript method and preload attribute

Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories

Web based opetopic editor

API for protocol buffers using modern Haskell language and library patterns.

Tutorial on setting up Emacs to do Haskell programming