ComFreek's repositories
async-playground
Semaphores, critical sections and blocking queues explored in modern JS with Promises and async generators
polynomial-interpolation-web-gui
Polynomial Interpolation Web GUI with GeoGebra, plots and outputs the math formula
ts-htaccess
Sample use of .htaccess in order to compile TypeScript files on-the-fly.
basic-ontology-language
An experimental ontology language formalized in Coq with many semantics
ColorSplitter
Web app to show each and every color an image uses (feature-complete!)
GenericEventListeners
GenericEventListeners for Java.
mmt-latex-helpers
LaTeX utility macros for typesetting papers and theses involving the MMT Language
TypeBakery
Collection of some great classes for TypeScript.
angular-template-for-dummies
Several templates for Angular 5 projects with frequently used technology stacks. Fork for PRs only from https://github.com/makimenko/angular-template-for-dummies. I might push --force without notice!
chocolatey-packages
Packages I (co-)maintain.
CodeMirror
In-browser code editor
ColoredLetterGenerator
CLI for producing graphics of specified letters in specified colors (and background colors)
greenkeeper
:robot: :palm_tree: Real-time automated dependency updates for npm and GitHub
IntelliJ-MMT
An IntelliJ-Plugin for MMT (under development)
istanbuljs.github.io
the Istanbul community website
leapday
GitHub Pages Theme: Leap Day
logic-based-nlp-tableaux-machine
Logik-Basierte-Sprachverarbeitung: TableauxMachine for interactive discourse-driven model generation
mocha-fibers
mocha-fibers
regex-search
A Chrome extension that allows you to search the page using regex
weg-li-ios
📸 📝 ✊📱 weg-li: 1, 2, 3 - iOS Client