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)

   132 33

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

   23 8

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

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

   Python 13 13

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

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

   Python 5 1

5. nand2tetris nand2tetris Public

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

   Assembly 2 1

6. MdnsListener MdnsListener Public

   A high-performance, production-ready multicast DNS (mDNS) listener built with .NET, designed to discover and monitor services on the local network using the mDNS protocol (RFC 6762).

   C# 2