Pinned Repositories
adyavanapalli
approval-workflow
An example of a workflow that needs an additional approval to run.
BalanceNotifier
An Azure Function that texts you your credit card and checking account balance every so often.
cracking-the-coding-interview
Solutions to problems from "Cracking the Coding Interview 6E" by Gayle Laakmann McDowell
nand2tetris
Build a Modern Computer from First Principles: From Nand to Tetris
natural-number-game-solutions
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
PulumiTemplate
This repository functions as a template for a repository containing a typical Pulumi configuration.
say-great-again-bot
A Telegram bot that discourages chat participants from saying the word `great`.
stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
adyavanapalli's Repositories
adyavanapalli/nand2tetris
Build a Modern Computer from First Principles: From Nand to Tetris