index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya7 weekssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya7 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya8 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya7 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya9 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya7 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya12 monthssummarylogtree
aatawebAata on the webSurya12 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya11 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya18 monthssummarylogtree
quetzalSnake for the modern ageSurya18 monthssummarylogtree
slashdotDotfilesSurya12 monthssummarylogtree
mtagraphThe MTA, in a graphSurya14 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya18 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya18 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya18 monthssummarylogtree
logicpodA propositional logic taskerSurya18 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya18 monthssummarylogtree
aseems-legitAseem's legitSurya18 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya18 monthssummarylogtree
sutraLiterature trackerSurya18 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya18 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya18 monthssummarylogtree
signToy RSA signatures in RustSurya18 monthssummarylogtree
talkA simple chat with TornadoSurya18 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya18 monthssummarylogtree
modalitySproutsSurya18 monthssummarylogtree
carrotBackup of Carrot codeSurya18 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya18 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya18 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya18 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya18 monthssummarylogtree