Paul Reichert's repositories
foam
A personal knowledge management and sharing system for VSCode
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.
crosscutt
A medium for knowledge management and transfer, probably also a blog software.
triangle-bodies
A LEAN proof in convex geometry for my Master's Thesis.
polls
🗳️ Polls app for Nextcloud
DND-5e-LaTeX-Character-Sheet-Template
LaTeX package to typeset character sheets for the fifth edition of the "world's greatest roleplaying game".
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/
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).
X-Tree-M
eXtended-Tree-Method (X-Tree-M) --> scalable discussion tool using tree-based structuring of arguments and facts + featuring problem solver in the future; one of several DISCO plugins
mathe-notizen
Gedanken und Notizen zu meinem Mathematikstudium.
mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/
quill
Quill is a modern rich text editor built for compatibility and extensibility.
stryker-qunit
A test framework adapter for Stryker and QUnit
outsourced-mind
Notes and thoughts of mine, considered to be useful for others, too!
irony
A convention based web framework for TypeScript
marble-engine
A highly predictable functional reactive stream library in JavaScript with a notion of concurrency
rdfstore-js
JS RDF store with SPARQL support
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.
jena
Mirror of Apache Jena
nodejs-odata-server
This project is supposed to become kind of a customizable odata server.
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"...