index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya5 monthssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya11 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya12 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya10 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya12 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya10 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya16 monthssummarylogtree
aatawebAata on the webSurya16 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya15 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya22 monthssummarylogtree
quetzalSnake for the modern ageSurya22 monthssummarylogtree
slashdotDotfilesSurya16 monthssummarylogtree
mtagraphThe MTA, in a graphSurya18 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya22 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya22 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya22 monthssummarylogtree
logicpodA propositional logic taskerSurya22 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya22 monthssummarylogtree
aseems-legitAseem's legitSurya22 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya22 monthssummarylogtree
sutraLiterature trackerSurya22 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya22 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya22 monthssummarylogtree
signToy RSA signatures in RustSurya22 monthssummarylogtree
talkA simple chat with TornadoSurya22 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya22 monthssummarylogtree
modalitySproutsSurya22 monthssummarylogtree
carrotBackup of Carrot codeSurya22 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya22 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya22 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya22 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya22 monthssummarylogtree