Pinned Repositories
abnfjs
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/
commonlib
mySociety code common to several projects
crosscutt
A medium for knowledge management and transfer, probably also a blog software.
datokrat.github.io
DND-5e-LaTeX-Character-Sheet-Template
LaTeX package to typeset character sheets for the fifth edition of the "world's greatest roleplaying game".
fffusion
knowledge-synthesis
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.
datokrat's Repositories
datokrat/abnfjs
datokrat/knowledge-synthesis
datokrat/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.
datokrat/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/
datokrat/crosscutt
A medium for knowledge management and transfer, probably also a blog software.
datokrat/datokrat.github.io
datokrat/DND-5e-LaTeX-Character-Sheet-Template
LaTeX package to typeset character sheets for the fifth edition of the "world's greatest roleplaying game".
datokrat/fffusion
datokrat/foam
A personal knowledge management and sharing system for VSCode
datokrat/hands-on-climate-models
datokrat/irony
A convention based web framework for TypeScript
datokrat/jena
Mirror of Apache Jena
datokrat/latte-art
A fork of the latte art simulator by Paige Sun: https://github.com/p-sun/typescript-fluid-simulator
datokrat/Lernzettel
datokrat/marble-engine
A highly predictable functional reactive stream library in JavaScript with a notion of concurrency
datokrat/marble-todomvc
datokrat/mathe-notizen
Gedanken und Notizen zu meinem Mathematikstudium.
datokrat/mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/
datokrat/modeling-week-arepo
datokrat/outsourced-mind
Notes and thoughts of mine, considered to be useful for others, too!
datokrat/parchment
datokrat/polls
🗳️ Polls app for Nextcloud
datokrat/quill
Quill is a modern rich text editor built for compatibility and extensibility.
datokrat/rdfstore-js
JS RDF store with SPARQL support
datokrat/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).
datokrat/stryker-qunit
A test framework adapter for Stryker and QUnit
datokrat/triangle-bodies
A LEAN proof in convex geometry for my Master's Thesis.
datokrat/TypeScript-wiki
A repository to make changes to the TypeScript Wiki on GitHub
datokrat/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.
datokrat/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