index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya11 hourssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya14 dayssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya7 weekssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya2 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya8 weekssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya5 monthssummarylogtree
aatawebAata on the webSurya5 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya4 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya11 monthssummarylogtree
quetzalSnake for the modern ageSurya11 monthssummarylogtree
slashdotDotfilesSurya5 monthssummarylogtree
mtagraphThe MTA, in a graphSurya7 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya11 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya11 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya11 monthssummarylogtree
logicpodA propositional logic taskerSurya11 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya11 monthssummarylogtree
aseems-legitAseem's legitSurya11 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya11 monthssummarylogtree
sutraLiterature trackerSurya11 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya11 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya11 monthssummarylogtree
signToy RSA signatures in RustSurya11 monthssummarylogtree
talkA simple chat with TornadoSurya11 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya11 monthssummarylogtree
modalitySproutsSurya11 monthssummarylogtree
carrotBackup of Carrot codeSurya11 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya11 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya11 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya11 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya11 monthssummarylogtree