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/stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
adyavanapalli/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.
adyavanapalli/cracking-the-coding-interview
Solutions to problems from "Cracking the Coding Interview 6E" by Gayle Laakmann McDowell
adyavanapalli/say-great-again-bot
A Telegram bot that discourages chat participants from saying the word `great`.
adyavanapalli/BalanceNotifier
An Azure Function that texts you your credit card and checking account balance every so often.
adyavanapalli/InteropNet
A proof of concept for interoperating with a native library on Linux with .NET.
adyavanapalli/PulumiTemplate
This repository functions as a template for a repository containing a typical Pulumi configuration.
adyavanapalli/ssh-birdie
A daemon that watches the syslog for SSH connections and sends a message to Telegram as a bot user detailing the connection.
adyavanapalli/adyavanapalli
adyavanapalli/approval-workflow
An example of a workflow that needs an additional approval to run.
adyavanapalli/azure-docs
Open source documentation of Microsoft Azure
adyavanapalli/calculate-dates-and-times
Generate a date or time to be used in a later Action
adyavanapalli/CitrucelBot
A telegram bot for sending reminders to take Citrucel.
adyavanapalli/cloudflare-docs
Cloudflare’s documentation
adyavanapalli/check-statuses-and-conclusions
A repository containing workflows where we investigate all possible states and conclusions.
adyavanapalli/counterd
A proof of concept for a program that daemonizes itself and counts to 10 while logging to the system log.
adyavanapalli/cowboy-shootout
A simulation of the cowboy shootout problem.
adyavanapalli/custom-oidc-claims-demo
A repository to play around with custom OIDC claims for authenticating to Azure.
adyavanapalli/dummy-action
A dummy GitHub Action that does nothing useful, but does set up a nice template for developing future Actions.
adyavanapalli/ebdjango
A proof of concept for a Django 3 application running on AWS Elastic Beanstalk.
adyavanapalli/Fishtest
A repository for provisioning resources for Fishtest on Azure/GCP/AWS.
adyavanapalli/hashicorp-terraform-provider-aws
Staging fork for Fidelity's contributions to hashicorp/terraform-provider-aws. Please do not open PRs against this repo. All contributions should be directed upstream.
adyavanapalli/OSTEP
A repository to track progress while working through Operating Systems: Three Easy Pieces (OSTEP).
adyavanapalli/ostep-projects
Projects for an undergraduate OS course
adyavanapalli/packer-plugin-azure
Packer plugin for Azure Virtual Machine Image Builders
adyavanapalli/prime-pi
Benchmarking the fastest ways to compute the number of primes less than or equal to a given positive integer, which is traditionally called the PrimePi function.
adyavanapalli/setup-dotnet
Set up your GitHub Actions workflow with a specific version of the .NET core sdk
adyavanapalli/terraform-provider-azurerm
Terraform provider for Azure Resource Manager
adyavanapalli/TerraformAzureWithGitHubActions
A project for experimenting with Terraform on Azure hosted on GitHub.
adyavanapalli/weenix-docker
This repository provides a Docker image manifest for building a Docker image that can be used to compile weenix, a toy operating system used to learn about operating systems concepts.