koehlma/archive

Stars
2
Language
Created over 12 years ago
Updated over 12 years ago

koehlma/archive

koehlma

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

some old stuff - maybe useful for someone

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

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