index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya4 monthssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya4 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya6 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya4 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya6 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya4 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya9 monthssummarylogtree
aatawebAata on the webSurya9 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya8 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya15 monthssummarylogtree
quetzalSnake for the modern ageSurya15 monthssummarylogtree
slashdotDotfilesSurya9 monthssummarylogtree
mtagraphThe MTA, in a graphSurya11 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya15 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya15 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya15 monthssummarylogtree
logicpodA propositional logic taskerSurya15 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya15 monthssummarylogtree
aseems-legitAseem's legitSurya15 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya15 monthssummarylogtree
sutraLiterature trackerSurya15 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya15 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya15 monthssummarylogtree
signToy RSA signatures in RustSurya15 monthssummarylogtree
talkA simple chat with TornadoSurya15 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya15 monthssummarylogtree
modalitySproutsSurya15 monthssummarylogtree
carrotBackup of Carrot codeSurya15 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya15 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya15 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya15 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya15 monthssummarylogtree