index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya5 monthssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya5 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya6 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya5 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya7 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya5 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya10 monthssummarylogtree
aatawebAata on the webSurya10 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya9 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya16 monthssummarylogtree
quetzalSnake for the modern ageSurya16 monthssummarylogtree
slashdotDotfilesSurya10 monthssummarylogtree
mtagraphThe MTA, in a graphSurya12 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya16 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya16 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya16 monthssummarylogtree
logicpodA propositional logic taskerSurya16 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya16 monthssummarylogtree
aseems-legitAseem's legitSurya16 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya16 monthssummarylogtree
sutraLiterature trackerSurya16 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya16 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya16 monthssummarylogtree
signToy RSA signatures in RustSurya16 monthssummarylogtree
talkA simple chat with TornadoSurya16 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya16 monthssummarylogtree
modalitySproutsSurya16 monthssummarylogtree
carrotBackup of Carrot codeSurya16 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya16 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya16 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya16 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya16 monthssummarylogtree