Popular repositories Loading

1. pytudes pytudes Public

   Forked from norvig/pytudes

   Python programs to practice or demonstrate skills.

   Jupyter Notebook 2

2. flask flask Public

   Forked from pallets/flask

   A microframework based on Werkzeug, Jinja2 and good intentions

   Python 1

3. requests requests Public

   Forked from psf/requests

   Python HTTP Requests for Humans™.

   Python 1

4. shell-workshop shell-workshop Public

   Forked from kamalmarhubi/shell-workshop

   Materials from my Strange Loop 2014 workshop, Let's Build a Shell!

   C

5. learning_scala learning_scala Public

6. category-theory category-theory Public

   Forked from jwiegley/category-theory

   A formalization of category theory in Coq for personal study and practical work

   Coq