Popular repositories Loading

1. In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.

   Lean 3 1

4. An experimental repo where I wallow in metacircularity and foolish abstractions. As a side product, this repository contains a hacked-together parser combinator library, a markdown parser, and a st…

   Java 1

5. Hier findet sich der Code einer Internetplattform, die zur Kommunalwahl umgesetzt wurde, um mehr Informationen und Bürgernähe zu erreichen. Es lassen sich darin sowohl vorgegebene Fragen stellen al…

   PHP 1

6. This should become a proof of concept of a discussion platform, part of d!sco, the Discussion Ontology. Proudly developed with HTML, TypeScript, CSS and Eclipse.

   JavaScript