Bretton's repositories
adapta-gtk-theme
An adaptive Gtk+ theme based on Material Design Guidelines
hackmit-2020-puzzle
Our solutions to the HackMIT 2020 puzzle
category-theory-agda
Formalization of "Category Theory" by Steve Awodey in Agda
clr-inline
Mirror of https://gitlab.com/tim-m89/clr-haskell
coq-quantified-theorems
Quantified theorem benchmarks in Coq translated from https://github.com/wky/aeval/tree/adt-ind/bench_adt
google-foobar
Google foo.bar challenge
into-the-wild-project
for English class
language-coq
Coq AST and pretty-printer written in Haskell
logic-gate-calculator
Single-digit LED calculator using logic gates
package-sets
A curated list of PureScript packages
purescript-native
A native compiler backend for PureScript (via C++)
sicp-exercises
My solutions to SICP exercises
smt2-parser
Parse smt2 in Haskell
soroban-examples
Example Soroban Contracts
ssh-ucla-vpn
SSH over UCLA campus VPN
stack-templates
My stack templates
vscode-haskell-config
My VSCode workspace configuration for Haskell projects