Paul Gustafson's repositories
conley-morse-database
Conley-Morse-Database project for the global dynamics of multi-parameter systems
cubicaltt
Experimental implementation of Cubical Type Theory
cubicaltt-layer
Spacemacs layer for cubicaltt
essential-cardano
Repository for the Essential Cardano list
haskell-nix
Nix and Haskell in production
figgie-auto
An algorithmic sandbox for Jane Street's game, "Figgie"
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
kodlab_gazebo
ROS package for the simulation of legged platforms using Gazebo
lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
latex
Various latex files
lembrary-backend
IRC bot for incremental haskell development
LNLHaskell
Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
mathlib
Lean mathematical components library
mattermost-plugin-memes
Add culture to your Mattermost with memes 🔌
mueval
A secure sandboxed Haskell interpreter for pure function evaluation
partial
Partial map typeclass
Pluto.jl
🎈 Simple reactive notebooks for Julia
plutus
The Plutus language implementation and tools
teenygrad
If tinygrad wasn't small enough for you...
tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️