Popular repositories Loading

1. hpffp-resources hpffp-resources Public

   Forked from pushcx/hpffp-resources

   Haskell Programming From First Principles - Follow-up Resources

   Haskell 2

2. thinking-with-types thinking-with-types Public

   Forked from isovector/thinking-with-types

   📖 source material for Thinking with Types

   Haskell 1

3. py2sec py2sec Public

   Forked from cckuailong/py2sec

   🐍 py2sec is a Cross-Platform, Fast and Flexible tool to change the .py to .so(Linux and Mac) or .pyd(Win).

   Python 1

4. ifl-tut ifl-tut Public

   Forked from nobsun/ifl-tut

   Haskell 1

5. course course Public

   Forked from system-f/fp-course

   Functional Programming Course

   Haskell

6. learn-tt learn-tt Public

   Forked from jozefg/learn-tt

   A collection of resources for learning type theory.