Popular repositories Loading

1. stanford-introduction-to-mathematical-thinking stanford-introduction-to-mathematical-thinking Public

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

   112 30

2. natural-number-game-solutions natural-number-game-solutions Public

   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 …

   16 7

3. cracking-the-coding-interview cracking-the-coding-interview Public

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

   Python 12 13

4. say-great-again-bot say-great-again-bot Public

   A Telegram bot that discourages chat participants from saying the word `great`.

   Python 4 1

5. nand2tetris nand2tetris Public

   Build a Modern Computer from First Principles: From Nand to Tetris

   Assembly 2 1

6. BalanceNotifier BalanceNotifier Public

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

   C# 1 1