Atharva Shukla

shukla dot at at husky dot neu dot edu

Posts : How set up ACL2 and ACL2s (with SBCL) on Unix-like Systems?Angular CourseBayesBookmarksBooksCoq TacticsCSSConvert Lambda Calculus to De BruijnDownloadsDrRacket (IDE) FeaturesEmacs ConfigExperiments with RacketFibonacci using Matrix ExponentiationFocus MusicFormatting and KeysAn Axiomatic Basis for Computer ProgrammingHTMLJavaScript Unit TestingJavaScript GrammarUntyped Lambda CalculusDesugaring to Lambdas (or the Lambda Lecture)Linear Temporal LogiclinksLogical ArgumentsMacrosNortheastern Computer Science ClassesHow to fix nvm slowing down terminal initializationoshopPacman grid ASCII artMatching Paren programProgramming Languages and their DesignersResearch PapersQuoraQuotesRacket Evaluation ModelRacket LinksRacket vs JavaScriptRandom ThingsRishika's SongsSatisfiability vs RealizabilityServices LinksRubik's Cube AlgorithmsAnswers to deleted StackOverflow QuestionsStackoverflowTechnology and EthicsTed TalksHow is this Website Generated?Transcendental NumbersTyperacerVideo LinksWeb DevWords