Atharva Shukla

This website is generated from a set of markdown files using a simple shell script like this. Read the design philosophy here. The random links below are in alphabetical order of their title.

Artificial IntelligenceBayes TheoremChickenCoq TacticsLambda Calculus to De Bruijn CompilerHow is this site deployed?Fall20How to use gitignoreGreek alphabetAn Axiomatic Basis for Computer ProgrammingIndian Number SystemKaplanskyUntyped Lambda CalculusThe Lambda LectureRandom LinksMoviesNGXSASCII Art for Pacman Grid GenerationMatching Parenthesis checker in RacketProving thingsRandom LinksRandom Wikipedia LinksSoftwareSongsStatisticsTAPL1Type SystemsTypescriptList of presidents of the United States