Discover koehlma/momba Open Source project

Stars
18
Rank 1,205,009 (Top 24 %)
Language PDDL
License
Apache License 2.0
Created about 4 years ago
Updated 8 months ago

koehlma

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

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

jaspy

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

JavaScript

577

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.

Python

pygtkspellcheck

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

Python

Python libuv CFFI Bindings

Python

vscode-markdown-math

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

TypeScript

rigorous

A framework for working with inference rules.

Python

snippets

some useful code snippets and programs

Python

remasterscript

a small program for knoppix remastering

Python

archive

some old stuff - maybe useful for someone

momba-pipenv-template

A template for Momba using Pipenv.

chloride

Python

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

python-onig

A Python wrapper around the Oniguruma regular expression library.

Python

PKGBUILDs

archlinux PKGBUILDs I have written

Shell

neo2-jetbrains-hack

Java

neatavr

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

C++

binarize

an efficient, small and flexible binary serialization format

Python

koehlma/momba

koehlma

Reviews

Repository Details

More Repositories