Tim Pierson's repositories
nix-emacs-agda
a nix template for agda projects (with emacs overlay0
categorifier-c
Haskell to C compiler via Categorifier
compdata-param
Haskell library implementing parametric compositional data types.
diagrams-contrib
User-contributed extensions to diagrams
emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
HVM
A massively parallel, optimal functional runtime in Rust
iisignature
Iterated integral signature calculations
kqueue
Haskell bindings to kqueue
monad-bayes
A library for probabilistic programming in Haskell.
numhask
Classes for numbers, higher-dimension representable objects, and algebras that combine them.
obelisk-rhyolite-template
A template repository for your Obelisk+Rhyolite projects
polynomial-functor
Polynomial functors (a.k.a. containers) in Haskell
rubato-composer
Rubato Composer is a music software based on the concepts and models of mathematical music theory.
semantic-reflex
🔧 Semantic UI for Haskell and Reflex-DOM
simple-sql-parser
SQL parser in Haskell
sql_graphviz
Generates graphviz commands to graphically display tables and show foreign key links.
Tambura
Tambura.dsp - Waveguide physical model of an Indian Tambura/Tanpura in FAUST
TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
Wikind
Vast collection of Kind2 definitions