cole's repositories
call-by-push-block
⛳ Sokoban game in 10 lines of Haskell
extraction-gym
benchmarking e-graph extraction
syntax-cls
Classfile for writing syntax papers (and general linguistic papers)
advent-of-code-2017
My solutions to Advent of Code 2017
advent-of-code-2018-haskell
Advent of Code 2018 (https://adventofcode.com/2018) solutions in Haskell
default-rows
Type system with default rows
stlc-liquidhaskell
Extension of STLC provided in liquidhaskell examples
botguy
skype? bot
catalyst
A JIT compiler for hybrid quantum programs in PennyLane
cse-130-wi24
Public course materials for UCSD CSE 130 Programming Languages (Wi 2024)
egg
egg is a flexible, high-performance e-graph library
elsa
Elsa is a lambda calculus evaluator
elvish-theme
Libs / Themes for elvish
fake-steak
🥩 Moral foundation analysis browser extension
flux-develop
Refinement Types for Rust
flux-snapshot
Takes a snapshot (git commit) whenever you run flux
flux-sorting
Demo of flux on sorting algorithms
flux-union-find
Demo of flux on union find (not working)
hipspec
A hip inductive theorem prover!
hmc-math174-2019-spring
HMC Math 174: Representation theory (2019 Spring) -- assignments and whatnot
pomona-math173-2019-spring
Pomona Math 173: Advanced Linear Algebra (2019 Spring) course files
semantic
Parsing, analyzing, and comparing source code across many languages
tiny-games-hs
Haskell Tiny Game Jam
tyro
Toy language for a bidirectional type checking of a row polymorphic lambda calculus
zeno
The Zeno theorem prover modified to compile on modern GHC versions