Atharva Shukla

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

AlgebraArtificial IntelligenceBayes TheoremChickenCoq TacticsLambda Calculus to De Bruijn CompilerHow to use gitignoreGreek alphabetAn Axiomatic Basis for Computer ProgrammingIndian Number NamesKaplanskyUntyped Lambda CalculusThe Lambda LectureMoviesNGXSASCII Art for Pacman Grid GenerationMatching Parenthesis checker in RacketProving thingsRandom LinksSoftwareSongsStatisticsTAPL1Testing with Mocha and Chai in the BrowserType SystemsTypescriptList of presidents of the United States