ComFreek
Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal
@KWARC Germany
Pinned Repositories
async-playground
Semaphores, critical sections and blocking queues explored in modern JS with Promises and async generators
basic-ontology-language
An experimental ontology language formalized in Coq with many semantics
lambda-coq
A from-scratch formalization of untyped lambda calculus with de Bruijn indices
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.
TSCompiler
The aim of this project is to provide interfaces to the TypeScript compiler in multiple languages.
uni-concurrent-systems-summary
Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nürnberg) on concurrency, esp. in systems programming
jsfbp
FBP implementation written using JavaScript and node-fibers
MMT
The MMT Language and System
ComFreek's Repositories
ComFreek/async-playground
Semaphores, critical sections and blocking queues explored in modern JS with Promises and async generators
ComFreek/polynomial-interpolation-web-gui
Polynomial Interpolation Web GUI with GeoGebra, plots and outputs the math formula
ComFreek/ts-htaccess
Sample use of .htaccess in order to compile TypeScript files on-the-fly.
ComFreek/basic-ontology-language
An experimental ontology language formalized in Coq with many semantics
ComFreek/ColorSplitter
Web app to show each and every color an image uses (feature-complete!)
ComFreek/GenericEventListeners
GenericEventListeners for Java.
ComFreek/mmt-latex-helpers
LaTeX utility macros for typesetting papers and theses involving the MMT Language
ComFreek/TypeBakery
Collection of some great classes for TypeScript.
ComFreek/2019-08-18-submodule-test-submodule-repo
ComFreek/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!
ComFreek/chocolatey-packages
Packages I (co-)maintain.
ComFreek/CodeMirror
In-browser code editor
ComFreek/ColoredLetterGenerator
CLI for producing graphics of specified letters in specified colors (and background colors)
ComFreek/curv
a language for making art using mathematics
ComFreek/finch
Scala combinator library for building Finagle HTTP services
ComFreek/git-seek
Tool to seek your hard drive for Git repos and check their dirtyness
ComFreek/greenkeeper
:robot: :palm_tree: Real-time automated dependency updates for npm and GitHub
ComFreek/IntelliJ-MMT
An IntelliJ-Plugin for MMT (under development)
ComFreek/istanbuljs.github.io
the Istanbul community website
ComFreek/leapday
GitHub Pages Theme: Leap Day
ComFreek/logic-based-nlp-tableaux-machine
Logik-Basierte-Sprachverarbeitung: TableauxMachine for interactive discourse-driven model generation
ComFreek/mmteditor
ComFreek/mocha-fibers
mocha-fibers
ComFreek/regex-search
A Chrome extension that allows you to search the page using regex
ComFreek/sbt-deps-test
ComFreek/sbt-multi-project-question
ComFreek/scrape-it
:crystal_ball: A Node.js scraper for humans.
ComFreek/suitesparse-conan-pkg
ComFreek/weg-li
📸 📝 ✊ weg.li: 1, 2, 3 - Macht die Bahn frei!
ComFreek/weg-li-ios
📸 📝 ✊📱 weg-li: 1, 2, 3 - iOS Client