Popular repositories Loading

1. learn-tt learn-tt Public

   Forked from jozefg/learn-tt

   A collection of resources for learning type theory and type theory adjacent fields.

2. project-based-learning project-based-learning Public

   Forked from practical-tutorials/project-based-learning

   Curated list of project-based tutorials

3. EOPL-Exercises EOPL-Exercises Public

   Forked from EFanZh/EOPL-Exercises

   EFanZh’s solutions to exercises from the book Essentials of Programming Languages.

   Racket

4. docker docker Public

   Shell

5. eopl eopl Public

   essential of programming language practice

   Scheme

6. sttp-book sttp-book Public

   Forked from sf105/sttp-book

   The "Software Testing: From Theory to Practice" book (source)

   Shell