-
agido GmbH
- Dortmund, Germany
Pinned Loading
-
learn-agda-by-doing-exercises
learn-agda-by-doing-exercises PublicA comprehensive exercise-focused Agda tutorial
Agda
-
expression-evaluator
expression-evaluator Publica 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
-
cpp-currying
cpp-currying PublicSimple and surprisingly powerful currying implemented concisely in c++20
C++ 2
-
dsd-tetris-project
dsd-tetris-project Publica python tetris project for one of my 12th year classes
Python 1
-
polymorphic-any
polymorphic-any PublicA header only, polymorphic type with copy semantics like std::any
C++
-
math-like-comparison-operators
math-like-comparison-operators Publicsmall c++ proof-of-concept library to allow expressions like x<y<z with type flexibility and no overhead
C++ 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.