koehlma

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.

momba

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

rigorous

A framework for working with inference rules.

momba-pipenv-template

A template for Momba using Pipenv.

python-onig

A Python wrapper around the Oniguruma regular expression library.

aph-rs

A tool and Rust library for acyclic phase-type (APH) distributions.

async-compression

Adaptors between compression crates and Rust's async IO types

boon

JSONSchema (draft 2020-12, draft 2019-09, draft-7, draft-6, draft-4) Validation in Rust

fm21-momba-tutorial

Website of the Momba tutorial at FM21.

koehlma

latex-utilities

maturin

Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages

memfault-interrupt

A community for embedded software makers.

musli

Müsli is a flexible and generic binary serialization framework

mx-python-utils

A collection of utilities and helpers for writing Python programs.

poetry

Python dependency management and packaging made easy.

python-OBD

OBD-II serial module for reading engine data

python-orex

An object-oriented approach to regular expressions.

python-unicode-buffer

An implementation of the buffer protocol for unicode strings.

qcomp23-state-space-exploration

QComp23: State Space Exploration

resynth

Reactive Synthesis

rust

Empowering everyone to build reliable and efficient software.

serde

Serialization framework for Rust

sharedvec-rs

A fast but limited ordered collection for storing values of a single type.

tedge-rugpi-core

WIP: Testing unreleased rugpi functionality! thin-edge.io rugpi images/recipes

tedge-rugpi-image

thin-edge.io Raspberry Pi 0/1B/2B/3/4/5 image using rugpi for A/B updates

verification

Verification Project – Python Libraries

xonsh

Python-powered, cross-platform, Unix-gazing shell