Chris Smith's repositories
explainable-predicates
Predicates that can explain themselves
stable-diffusion.cpp
Stable Diffusion in pure C/C++
summer-of-haskell
Source code of summer.haskell.org
persistent-stm
STM transactions involving persistent storage
TCache
Transactional cache with configurable persistence
rle
Run length encoded sequences
flatparse
Fast parsing from bytestrings
haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
stackage
"Stable Hackage": vetted consistent packages from Hackage
codex
UI experiments for coda
vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
tech-proposals
The Haskell Foundation Tech Proposal Process
disco
Functional teaching language for use in a discrete mathematics course
zfoh.ch
Our homepage
haskell-via-sokoban
A haskell tutorial using CodeWorld
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
codeworld
Educational computer programming environment using Haskell
flmdata
Data repo for Fermat's Last Margin
lambox
Haskell Text User Interface Library
lpe
Lightweight programming editor