Projects in Awesome Lists by koehlma
A curated list of projects in awesome lists by koehlma .
https://github.com/koehlma/jaspy
A Python byte code VM written entirely from scratch in JavaScript with some unique features.
experimental interpreter javascript python web
Last synced: 04 Apr 2025
https://github.com/koehlma/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.
Last synced: 16 Mar 2025
https://github.com/koehlma/pygtkspellcheck
A simple but quite powerful spellchecking library for GTK written in pure Python.
Last synced: 19 Mar 2025
https://github.com/koehlma/momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
formal-methods jani-models model-checker models momba python quantitative-models
Last synced: 09 May 2025
https://github.com/koehlma/rigorous
A framework for working with inference rules.
Last synced: 19 Mar 2025
https://github.com/koehlma/vscode-markdown-math
adds math support to VS Code's built-in markdown preview
Last synced: 19 Mar 2025
https://github.com/koehlma/remasterscript
a small program for knoppix remastering
Last synced: 03 Apr 2025
https://github.com/koehlma/momba-pipenv-template
A template for Momba using Pipenv.
Last synced: 08 Apr 2025
https://github.com/koehlma/archive
some old stuff - maybe useful for someone
Last synced: 08 Apr 2025
https://github.com/koehlma/binarize
an efficient, small and flexible binary serialization format
Last synced: 08 Apr 2025
https://github.com/koehlma/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.
Last synced: 08 Apr 2025
https://github.com/koehlma/neatavr
an experimental library for AVR microchips exploiting C++ meta programming
Last synced: 08 Apr 2025
https://github.com/koehlma/python-onig
A Python wrapper around the Oniguruma regular expression library.
Last synced: 08 Apr 2025
https://github.com/koehlma/mx-python-utils
A collection of utilities and helpers for writing Python programs.
Last synced: 08 Apr 2025
https://github.com/koehlma/fm21-momba-tutorial
Website of the Momba tutorial at FM21.
Last synced: 08 Apr 2025
https://github.com/koehlma/aph-rs
A tool and Rust library for acyclic phase-type (APH) distributions.
Last synced: 08 Apr 2025
https://github.com/koehlma/sharedvec-rs
A fast but limited ordered collection for storing values of a single type.
Last synced: 08 Apr 2025
https://github.com/koehlma/verification
Verification Project – Python Libraries
Last synced: 08 Apr 2025
https://github.com/koehlma/python-unicode-buffer
An implementation of the buffer protocol for unicode strings.
Last synced: 08 Apr 2025
https://github.com/koehlma/gnited
Linux Logitech G19 Driver Daemon with D-Bus-Interface
Last synced: 08 Apr 2025
https://github.com/koehlma/python-orex
An object-oriented approach to regular expressions.
Last synced: 08 Apr 2025