Stars
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
A lambda calculus to explore type-directed program synthesis.
mikebrady / shairport-sync
Forked from abrasive/shairportAirPlay and AirPlay 2 audio player
Free categories, free arrows and free categories with monadic actions
chisui / dakka
Forked from martinring/hakkaA dependently typed actor framework for haskell.
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.
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)
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
Contrived example of making host to guest RPC using webview executeJavascript method and preload attribute
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
API for protocol buffers using modern Haskell language and library patterns.
Tutorial on setting up Emacs to do Haskell programming
Language independent type-safe communication
Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!