Atharva Shukla

This website is generated from a set of markdown files using a simple shell script like this. Read the design philosophy here.

Artificial IntelligenceBayes TheoremChickenCoq TacticsLambda Calculus to De Bruijn CompilerFall20How to use gitignoreGreek alphabetHex gridAn Axiomatic Basis for Computer ProgrammingIndian Number SystemKaplanskyUntyped Lambda CalculusThe Lambda LectureRandom LinksMoviesNGXSASCII Art for Pacman Grid GenerationMatching Parenthesis checker in RacketProblematic Laws in IndiaProving thingsRandom LinksRandom Wikipedia LinksSoftwareSongsStatisticsTAPL1Testing with Mocha and Chai in the BrowserType SystemsTypescriptList of presidents of the United States