t
tjhance
Carnegie Mellon University
20 repositories
37 followers
Repositories
Select a repository to view its commits, contributors, and more.public
logic-puzzles
Solving logic puzzles in Haskell using SBV and Z3
Haskell
7
1
0
Updated 4 years ago
public
lean-project
travis and katherine do a project
Lean
3
0
0
Updated 2 years ago
public
webcomics
streamlined webcomic binge-reading experience
TypeScript
0
0
0
Updated 3 years ago
public
battlecode-2013
battlecode!
0
0
0
Updated 12 years ago
public
sdn-class-project
C#
0
0
0
Updated 6 years ago
public
6035-scala
6.035 project scala
0
0
0
Updated 11 years ago
public
fork-syn
Rust
0
0
0
Updated 2 years ago
public
vim-cryptogram
plugin to help solving cryptograms manually, in vim
VimL
0
0
0
Updated 10 years ago
public
lacrosse-town
Real-time collaborative editor for solving crosswords
JavaScript
0
1
15
Updated a year ago
public
nurikabe-solver
A nurikabe solver
C++
0
0
0
Updated 8 years ago