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