index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya3 monthssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya3 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya5 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya3 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya5 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya3 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya8 monthssummarylogtree
aatawebAata on the webSurya8 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya7 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya14 monthssummarylogtree
quetzalSnake for the modern ageSurya14 monthssummarylogtree
slashdotDotfilesSurya8 monthssummarylogtree
mtagraphThe MTA, in a graphSurya10 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya14 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya14 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya14 monthssummarylogtree
logicpodA propositional logic taskerSurya14 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya14 monthssummarylogtree
aseems-legitAseem's legitSurya14 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya14 monthssummarylogtree
sutraLiterature trackerSurya14 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya14 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya14 monthssummarylogtree
signToy RSA signatures in RustSurya14 monthssummarylogtree
talkA simple chat with TornadoSurya14 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya14 monthssummarylogtree
modalitySproutsSurya14 monthssummarylogtree
carrotBackup of Carrot codeSurya14 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya14 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya14 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya14 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya14 monthssummarylogtree