index
NameDescriptionOwnerIdleLinks
main
modal/dualityPersonal websiteSurya4 monthssummarylogtree
sibylant-grazeContact word game over WebSockets with Haskell Surya9 monthssummarylogtree
tzimtsumPresburger arithmetic proposition deciderSurya11 monthssummarylogtree
ciascun-m-annojaDelayed autodecryption generatorSurya9 monthssummarylogtree
angelic-hierarchyBusy Beaver simulator and motivatorSurya11 monthssummarylogtree
hsluv-haskellHaskell port of the perceptually-uniform HSLuv colorspaceSurya9 monthssummarylogtree
aataEncrypted, oblivious, zero-trust key-value store in RustSurya14 monthssummarylogtree
aatawebAata on the webSurya14 monthssummarylogtree
thetapackType-homogenous, crypto-friendly, auto-padded, compact binary serialization Surya14 monthssummarylogtree
ryujinClassical cryptography and cryptanalysis librarySurya20 monthssummarylogtree
quetzalSnake for the modern ageSurya20 monthssummarylogtree
slashdotDotfilesSurya14 monthssummarylogtree
mtagraphThe MTA, in a graphSurya16 monthssummarylogtree
theory-of-computationPartial solutions to Sipser's Theory of Computation textSurya20 monthssummarylogtree
abacusAbacus quizbowl scorekeepingSurya20 monthssummarylogtree
dijkstra3D modelling Delaunay triangulationsSurya20 monthssummarylogtree
logicpodA propositional logic taskerSurya20 monthssummarylogtree
arrowsTwitter 2016 election analysisSurya20 monthssummarylogtree
aseems-legitAseem's legitSurya20 monthssummarylogtree
extras
jyotirSecure two-party peer-to-peer computation via Yao's garbled circuitsSurya20 monthssummarylogtree
sutraLiterature trackerSurya20 monthssummarylogtree
gridhackA (deprecated) tool to retrieve LearningPoint gradesSurya20 monthssummarylogtree
cherylSolving Cheryl's Birthday with Clojure's core.logic librarySurya20 monthssummarylogtree
signToy RSA signatures in RustSurya20 monthssummarylogtree
talkA simple chat with TornadoSurya20 monthssummarylogtree
pasteA human-readable paste hosting serviceSurya20 monthssummarylogtree
modalitySproutsSurya20 monthssummarylogtree
carrotBackup of Carrot codeSurya20 monthssummarylogtree
haskell-problemsI got 99 problems but mutability ain't oneSurya20 monthssummarylogtree
thought-loungeWebsite for Thought LoungeSurya20 monthssummarylogtree
crunchtimeScraping CrunchBaseSurya20 monthssummarylogtree
majormajormajormajorBenchmarking Postgres vs CouchDBSurya20 monthssummarylogtree