bivab

smbus-cffi

Python bindings for Linux SMBus access through i2c-dev using cffi

they_stole_two_million

PyWeek 10

brainfuck

Toy Brainfuck bytecode interpreter using RPython

latitude_export

Google Latitude data exporter

planets

git merge playground for teaching

pytri

Model Checker for Petri Nets using RPython

gitlab-sync

Utility to synchronize a GitLab group of repositories at once.

prob.vim

Show B parse and type errors in vim

clpfd

CLP(fd) solver in Prolog using coroutines and attributed variables

eqsat

Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/

markov-university-classes

Alan Turing, Turingmaschinen und ihr rechtlicher sowie sozialer Kontext

bivab.github.io

homebridge

HomeKit support for the impatient

imap-backup

Backup and Migrate IMAP Email Accounts

java-spring-cloud

Distributed tracing for Spring Boot, Cloud and other Spring projects

mobile-dl

mobile-dl is a roll-your-own Instapaper for rich media.

opentracing-spring-cloud-redis-starter-demo

Reproducer for RedisClusterMode issue with opentracing-spring-cloud-redis-starter

prob_bash_completion

Bash autocompletion for ProB

pypy-pip

Debian binary package to install pip on pypy(-upstream)

pypy-setuptools

Debian binary package to install distutils on pypy(-upstream)

pysat

Simple DPLL based SAT Solver implemented in RPython

pytest-prob

Pytest plug-in to run B predicates and expressions as tests on ProB

styleguide

Style guides for Google-originated open-source projects