Paul Reichert's repositories
paradigmlab
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 static site generator for my homepage at https://paulr.de. If you are interested in metaprogramming, take a look at the amalgam compiler.
abnfjs.old
A JavaScript/Node.js based parser of ABNF code and an interpreter that parses code based on the parsed ABNF specification - a "parser generator" or "parser parser"...
athens
Free self-hosted desktop app: https://github.com/athensresearch/athens/releases; Paid tiers available through https://opencollective.com/athens; Try the demo at https://athensresearch.github.io/athens; Docs viewable at https://app.gitbook.com/@athensresearch/s/handbook/
DND-5e-LaTeX-Character-Sheet-Template
LaTeX package to typeset character sheets for the fifth edition of the "world's greatest roleplaying game".
foam
A personal knowledge management and sharing system for VSCode
marble-engine
A highly predictable functional reactive stream library in JavaScript with a notion of concurrency
mathe-notizen
Gedanken und Notizen zu meinem Mathematikstudium.
mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/
nodejs-odata-server
This project is supposed to become kind of a customizable odata server.
outsourced-mind
Notes and thoughts of mine, considered to be useful for others, too!
polls
🗳️ Polls app for Nextcloud
rdfstore-js
JS RDF store with SPARQL support
shallow-linear-independence
A set is k-shallowly linearly independent if every subset with at most k elements is linearly independent. These are some thoughts that came to my mind, driven by the question how large such sets can become (over the 2-element binary field).
stryker-qunit
A test framework adapter for Stryker and QUnit
triangle-bodies
A LEAN proof in convex geometry for my Master's Thesis.
TypeScript-wiki
A repository to make changes to the TypeScript Wiki on GitHub
wahl-plattform
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 als auch das Publikum das tun lassen, die dann von den Kandidaten beantwortet werden.