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