Travis Hance's repositories
logic-puzzles
Solving logic puzzles in Haskell using SBV and Z3
lean-project
travis and katherine do a project
6035-scala
6.035 project scala
000
battlecode-2013
battlecode!
000
csd-blog
CSD Blog
Language:SCSS000
Language:RustNOASSERTION000
hanabi.rs
Hanabi simulation in rust
Language:Rust000
Language:Python000
lacrosse-town
Real-time collaborative editor for solving crosswords
Language:JavaScriptMIT000
Language:TeX000
libpypa
libpypa is a Python parser implemented in pure C++
Language:C++Apache-2.0000
Language:Python000
nurikabe-solver
A nurikabe solver
Language:C++000
puzzlib
Various scripts for puzzling
Language:HaskellMIT000
pyston
An open-source Python implementation using JIT techniques.
Language:PythonNOASSERTION000
Language:C#000
verified-betrfs
A verified high-performance file system
NOASSERTION000
verusfmt
An Opinionated Formatter for Verus
MIT000
vim-cryptogram
plugin to help solving cryptograms manually, in vim
Language:VimL000
webcomics
streamlined webcomic binge-reading experience
Language:TypeScript000