Pinned Repositories
6035-scala
6.035 project scala
battlecode-2013
battlecode!
csd-blog
CSD Blog
fork-syn
hanabi.rs
Hanabi simulation in rust
ivy-research
lacrosse-town
Real-time collaborative editor for solving crosswords
lean-project
travis and katherine do a project
logic-puzzles
Solving logic puzzles in Haskell using SBV and Z3
tjhance's Repositories
tjhance/logic-puzzles
Solving logic puzzles in Haskell using SBV and Z3
tjhance/lean-project
travis and katherine do a project
tjhance/6035-scala
6.035 project scala
tjhance/battlecode-2013
battlecode!
tjhance/csd-blog
CSD Blog
tjhance/fork-syn
tjhance/hanabi.rs
Hanabi simulation in rust
tjhance/ivy-research
tjhance/lacrosse-town
Real-time collaborative editor for solving crosswords
tjhance/lecture-notes
tjhance/libpypa
libpypa is a Python parser implemented in pure C++
tjhance/metaphysical-solving
tjhance/nurikabe-solver
A nurikabe solver
tjhance/puzzlib
Various scripts for puzzling
tjhance/pyston
An open-source Python implementation using JIT techniques.
tjhance/sdn-class-project
tjhance/verified-betrfs
A verified high-performance file system
tjhance/verusfmt
An Opinionated Formatter for Verus
tjhance/vim-cryptogram
plugin to help solving cryptograms manually, in vim
tjhance/webcomics
streamlined webcomic binge-reading experience