Repositories

koehlma repositories

62 supported repositories

Show repositories with indexed issues
koehlma/memfault-interruptC

A community for embedded software makers.

Last commit Mar 14, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/mombaPDDL

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

Last commit Aug 3, 2024

 (19 stars) (3 forks) (0 indexed issues) (0 open good first issues)
koehlma/momba-pipenv-template

A template for Momba using Pipenv.

Last commit Oct 18, 2021

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/musliRust

Müsli is a flexible and generic binary serialization framework

Last commit Nov 15, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/mx-python-utilsPython

A collection of utilities and helpers for writing Python programs.

Last commit Mar 6, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/neatavrC++

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

Last commit Aug 18, 2016

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/neo2-jetbrains-hackJava

Last commit Dec 21, 2015

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/nixos-appliance-ota-updateNix

This repository is a demonstrator for bootable NixOS images with immutable A/B partitions using systemd-repart and systemd-sysupdate

Last commit Oct 31, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/page_rank_testerPython

Last commit Jun 3, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/poetryPython

Python dependency management and packaging made easy.

Last commit Apr 20, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/pygroovesharkPython

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 commit Apr 30, 2015

 (64 stars) (25 forks) (0 indexed issues) (0 open good first issues)
koehlma/pygtkspellcheckPython

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

Last commit Feb 21, 2026

 (24 stars) (8 forks) (0 indexed issues) (0 open good first issues)
koehlma/python-OBDPython

OBD-II serial module for reading engine data

Last commit Sep 14, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/python-onigPython

A Python wrapper around the Oniguruma regular expression library.

Last commit Mar 2, 2020

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/python-orexPython

An object-oriented approach to regular expressions.

Last commit Mar 30, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/python-unicode-bufferC

An implementation of the buffer protocol for unicode strings.

Last commit Feb 28, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/pyusbPython

USB access on python

Last commit Feb 7, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/qcomp23-state-space-exploration

QComp23: State Space Exploration

No recent commit data

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/remasterscriptPython

a small program for knoppix remastering

Last commit Jun 3, 2012

 (4 stars) (2 forks) (0 indexed issues) (0 open good first issues)
koehlma/resynthPython

Reactive Synthesis

Last commit Jan 30, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)