28 projects
oxidd
Decision Diagrams
momba-engine
A Python package supercharging Momba with computing capabilities.
momba
A Python library for quantitative models.
rugpi
This package has been reserved for Rugpi.
pygtkspellcheck
A simple but quite powerful spellchecking library for GTK written in pure Python.
rpi-derive-key
racetrack
A formal model of the Racetrack benchmark.
gtkspellcheck
A placeholder for `pygtkspellcheck` which is imported as `gtkspellcheck`.
feathon
The Python feature toolbox.
orex
An object-oriented approach to regular expressions.
mxu
A collection of utilities and helpers for writing Python programs.
onig
A Python wrapper around the Oniguruma regular expression library.
unibuf
An implementation of the buffer protocol for unicode strings.
rigorous
A Python interpreter based on a formal semantics for Python.
miniparse
A helper library for handwritten parsers.
explainer
The first unified explainability toolkit for explainable software and hardware systems.
fluxi
Fluxi
rumo
Stream-Based Runtime Monitoring
lepyano
UNKNOWN
electricshock
UNKNOWN
pylocales
convert ISO639 and ISO3166 codes to human readable names
presenthon
the next generation presentation tool
jaspy
Python interpreter in JavaScript
pinguin
Greenlet and LibUV based Networking Library
interlink
interlink
pygrooveshark
An unofficial Grooveshark API for Python.
chloride
an object oriented pure python libsodium wrapper
binarize
an efficient, small and flexible binary serialization format
