Discover @koehlma Open Source projects

Maximilian Köhl (@koehlma)

koehlma

Stars
737
Global Rank 40,778 (Top 2 %)
Followers 49
Following 12
Registered almost 14 years ago
Most used languages

Python
62.5 %

TypeScript
6.3 %

PDDL 6.3 %

Shell
6.3 %

C++
6.3 %

Java
6.3 %

JavaScript
6.3 %
Location 🇩🇪 Germany
Country Total Rank 2,142
Country Ranking

PDDL 2

JavaScript
385

Python
1,408

TypeScript
2,475

Shell
8,673

Java
9,886

C++
9,967

jaspy

A Python byte code VM written entirely from scratch in JavaScript with some unique features.

pygrooveshark

PyGrooveshark is an implementation of the unofficial Grooveshark API as used by the official clients. It is written in Python and supports searching, stations as well as the popular songs list.

pygtkspellcheck

A simple but quite powerful spellchecking library for GTK written in pure Python.

uv

Python libuv CFFI Bindings

momba

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

vscode-markdown-math

adds math support to VS Code's built-in markdown preview

rigorous

A framework for working with inference rules.

snippets

some useful code snippets and programs

remasterscript

a small program for knoppix remastering

archive

some old stuff - maybe useful for someone

momba-pipenv-template

A template for Momba using Pipenv.

chloride

lightasync

LightAsync aims to be a fast, lightweight, cross platform and multi GUI toolkit library for asynchronous IO written in Python using Enhanced Generators as described in PEP 342.

python-onig

A Python wrapper around the Oniguruma regular expression library.

PKGBUILDs

archlinux PKGBUILDs I have written

neo2-jetbrains-hack

neatavr

an experimental library for AVR microchips exploiting C++ meta programming

binarize

an efficient, small and flexible binary serialization format