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 BruijnDrRacket (IDE) FeaturesExperiments with RacketFibonacci using Matrix ExponentiationFormatting and KeysAn Axiomatic Basis for Computer ProgrammingHTMLJavaScript Unit TestingJavaScript GrammarUntyped Lambda CalculusDesugaring to Lambdas (or the Lambda Lecture)Linear Temporal LogiclinksLogical ArgumentsMacrosNortheastern Computer Science ClassesPacman 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