Pinned

1. learn-agda-by-doing-exercises learn-agda-by-doing-exercises Public

   A comprehensive exercise-focused Agda tutorial

   Agda

2. expression-evaluator expression-evaluator Public

   a quick, easy, and header only library that lets you bind string names to objects and functions and parse expressions that try to interact with these bindings at runtime

   C++ 3

3. cpp-currying cpp-currying Public

   Simple and surprisingly powerful currying implemented concisely in c++20

   C++ 2

4. dsd-tetris-project dsd-tetris-project Public

   a python tetris project for one of my 12th year classes

   Python 1

5. polymorphic-any polymorphic-any Public

   A header only, polymorphic type with copy semantics like std::any

   C++

6. math-like-comparison-operators math-like-comparison-operators Public

   small c++ proof-of-concept library to allow expressions like x<y<z with type flexibility and no overhead

   C++ 1