wtd2

Ph.D. Student @ Northwestern

Evanston, IL

Pinned Repositories

assertj
AssertJ is a library providing easy to use rich typed assertions
Language:Java2.6k 71 1.5k696
emp-tool
Language:C++202 5 6595
picocli
Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.
Language:Java4.9k 47 1.5k422
12307-RailwaySystem
A light system for management about railway tickets
Language:Python20
esh
Enhanced Shell
Language:C++0 1 00
osmud
Public website for more OSMud information
Language:C0 0 00
ppsat
code for privacy-preserving sat solver
Language:Roff00
secp256k1-arkworks
Language:Rust00
ZKUNSAT
Language:C++00
secp256k1-arkworks
Language:Rust0 1 01

wtd2's Repositories

wtd2/12307-RailwaySystem
A light system for management about railway tickets
Language:Python20
wtd2/esh
Enhanced Shell
Language:C++0 1 00
wtd2/osmud
Public website for more OSMud information
Language:C0 0 00
wtd2/ppsat
code for privacy-preserving sat solver
Language:Roff00
wtd2/secp256k1-arkworks
Language:Rust00
wtd2/ZKUNSAT
Language:C++00