index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya3 monthssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya9 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya10 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya8 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya10 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya8 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya13 monthssummarylogtree
aatawebAata on the webSurya13 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya13 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya19 monthssummarylogtree
quetzalSnake for the modern ageSurya19 monthssummarylogtree
slashdotDotfilesSurya13 monthssummarylogtree
mtagraphThe MTA, in a graphSurya15 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya19 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya19 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya19 monthssummarylogtree
logicpodA propositional logic taskerSurya19 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya19 monthssummarylogtree
aseems-legitAseem's legitSurya19 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya19 monthssummarylogtree
sutraLiterature trackerSurya19 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya19 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya19 monthssummarylogtree
signToy RSA signatures in RustSurya19 monthssummarylogtree
talkA simple chat with TornadoSurya19 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya19 monthssummarylogtree
modalitySproutsSurya19 monthssummarylogtree
carrotBackup of Carrot codeSurya19 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya19 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya19 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya19 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya19 monthssummarylogtree