index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya2 weekssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya6 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya7 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya5 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya8 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya5 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya11 monthssummarylogtree
aatawebAata on the webSurya11 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya10 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya17 monthssummarylogtree
quetzalSnake for the modern ageSurya17 monthssummarylogtree
slashdotDotfilesSurya11 monthssummarylogtree
mtagraphThe MTA, in a graphSurya13 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya17 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya17 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya17 monthssummarylogtree
logicpodA propositional logic taskerSurya17 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya17 monthssummarylogtree
aseems-legitAseem's legitSurya17 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya17 monthssummarylogtree
sutraLiterature trackerSurya17 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya17 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya17 monthssummarylogtree
signToy RSA signatures in RustSurya17 monthssummarylogtree
talkA simple chat with TornadoSurya17 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya17 monthssummarylogtree
modalitySproutsSurya17 monthssummarylogtree
carrotBackup of Carrot codeSurya17 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya17 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya17 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya17 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya17 monthssummarylogtree