git@modal/duality

Name	Description	Owner	Idle	Links
main
modal/duality	Personal website	Surya	4 months	summary log tree
sibylant-graze	Contact word game over WebSockets with Haskell	Surya	9 months	summary log tree
tzimtsum	Presburger arithmetic proposition decider	Surya	11 months	summary log tree
ciascun-m-annoja	Delayed autodecryption generator	Surya	9 months	summary log tree
angelic-hierarchy	Busy Beaver simulator and motivator	Surya	11 months	summary log tree
hsluv-haskell	Haskell port of the perceptually-uniform HSLuv colorspace	Surya	9 months	summary log tree
aata	Encrypted, oblivious, zero-trust key-value store in Rust	Surya	14 months	summary log tree
aataweb	Aata on the web	Surya	14 months	summary log tree
thetapack	Type-homogenous, crypto-friendly, auto-padded, compact binary serialization	Surya	14 months	summary log tree
ryujin	Classical cryptography and cryptanalysis library	Surya	20 months	summary log tree
quetzal	Snake for the modern age	Surya	20 months	summary log tree
slashdot	Dotfiles	Surya	14 months	summary log tree
mtagraph	The MTA, in a graph	Surya	16 months	summary log tree
theory-of-computation	Partial solutions to Sipser's Theory of Computation text	Surya	20 months	summary log tree
abacus	Abacus quizbowl scorekeeping	Surya	20 months	summary log tree
dijkstra	3D modelling Delaunay triangulations	Surya	20 months	summary log tree
logicpod	A propositional logic tasker	Surya	20 months	summary log tree
arrows	Twitter 2016 election analysis	Surya	20 months	summary log tree
aseems-legit	Aseem's legit	Surya	20 months	summary log tree
extras
jyotir	Secure two-party peer-to-peer computation via Yao's garbled circuits	Surya	20 months	summary log tree
sutra	Literature tracker	Surya	20 months	summary log tree
gridhack	A (deprecated) tool to retrieve LearningPoint grades	Surya	20 months	summary log tree
cheryl	Solving Cheryl's Birthday with Clojure's core.logic library	Surya	20 months	summary log tree
sign	Toy RSA signatures in Rust	Surya	20 months	summary log tree
talk	A simple chat with Tornado	Surya	20 months	summary log tree
paste	A human-readable paste hosting service	Surya	20 months	summary log tree
modality	Sprouts	Surya	20 months	summary log tree
carrot	Backup of Carrot code	Surya	20 months	summary log tree
haskell-problems	I got 99 problems but mutability ain't one	Surya	20 months	summary log tree
thought-lounge	Website for Thought Lounge	Surya	20 months	summary log tree
crunchtime	Scraping CrunchBase	Surya	20 months	summary log tree
majormajormajormajor	Benchmarking Postgres vs CouchDB	Surya	20 months	summary log tree