Maximilian Klein's repositories
terminal-graphs
Layouts and prints graphs (DAGs) to the terminal.
graphlib2dot
Simple command line tool that converts graphlib graphs to dot files via graphlib-dot
browser-tabs
Lists open Browser Tabs
basic_simulations
Some simulation examples using basic physical models
BuggyWayOfProgramming
Talk series for the Buggy Framework
dataflow-tiles
Create data-flow diagrams from image tiles.
function-cache
Caches function calls results
graphlib-dot
A DOT language parser / writer for graphlib
graphlib2kgraph
Convert a graphlib graph into the KLay kgraph format.
HoTT-coqex
Coq solutions to exercises in HoTT book
hyper-statusline
Status Line Plugin for Hyper
hyperterm-overlay
A complete and customizable solution for a overlay window in your Hyper.app
juicy-ace-editor
Custom Element with Ace(http://ace.c9.io/) code editor
lambda-clj
A (prototypical) lambda calculus implementation in clojure.
LBM-Introduction
A short theoretical introduction into the Lattice-Boltzmann method
node-calculate-size
Node API and CLI for calculating text sizes using phantomJS.
plugins
Plugins for Flutter, including FlutterFire, maintained by the Flutter team
reporter-file
Similar to the xunit-file reporter. Allows you to specify any report style to run, but will also write to the specifie file
vscode-kotlin
Kotlin language support for VS Code