adyavanapalli

approval-workflow

An example of a workflow that needs an additional approval to run.

azure-docs

Open source documentation of Microsoft Azure

balancenotifier

An Azure Function that texts you your credit card and checking account balance every so often.

calculate-dates-and-times

Generate a date or time to be used in a later Action

check-statuses-and-conclusions

A repository containing workflows where we investigate all possible states and conclusions.

citrucelbot

A telegram bot for sending reminders to take Citrucel.

cloudflare-docs

Cloudflare’s documentation

counterd

A proof of concept for a program that daemonizes itself and counts to 10 while logging to the system log.

cowboy-shootout

A simulation of the cowboy shootout problem.

cracking-the-coding-interview

Solutions to problems from "Cracking the Coding Interview 6E" by Gayle Laakmann McDowell

dummy-action

A dummy GitHub Action that does nothing useful, but does set up a nice template for developing future Actions.

ebdjango

A proof of concept for a Django 3 application running on AWS Elastic Beanstalk.

fishtest

A repository for provisioning resources for Fishtest on Azure/GCP/AWS.

interopnet

A proof of concept for interoperating with a native library on Linux with .NET.

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.

ostep

A repository to track progress while working through Operating Systems: Three Easy Pieces (OSTEP).

ostep-code

Code from various chapters in OSTEP (http://www.ostep.org)

ostep-projects

Projects for an undergraduate OS course

packer-plugin-azure

Packer plugin for Azure Virtual Machine Image Builders

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.

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`.

ssh-birdie

A daemon that watches the syslog for SSH connections and sends a message to Telegram as a bot user detailing the connection.

stanford-introduction-to-mathematical-thinking

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

terraform-provider-azurerm

Terraform provider for Azure Resource Manager

terraformazurewithgithubactions

A project for experimenting with Terraform on Azure hosted on GitHub.

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.