Pinned Repositories
brainfuck
Toy Brainfuck bytecode interpreter using RPython
clpfd
CLP(fd) solver in Prolog using coroutines and attributed variables
eqsat
Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/
gitlab-sync
Utility to synchronize a GitLab group of repositories at once.
latitude_export
Google Latitude data exporter
planets
git merge playground for teaching
prob.vim
Show B parse and type errors in vim
pytri
Model Checker for Petri Nets using RPython
smbus-cffi
Python bindings for Linux SMBus access through i2c-dev using cffi
they_stole_two_million
PyWeek 10
bivab's Repositories
bivab/smbus-cffi
Python bindings for Linux SMBus access through i2c-dev using cffi
bivab/they_stole_two_million
PyWeek 10
bivab/brainfuck
Toy Brainfuck bytecode interpreter using RPython
bivab/latitude_export
Google Latitude data exporter
bivab/planets
git merge playground for teaching
bivab/pytri
Model Checker for Petri Nets using RPython
bivab/gitlab-sync
Utility to synchronize a GitLab group of repositories at once.
bivab/prob.vim
Show B parse and type errors in vim
bivab/clpfd
CLP(fd) solver in Prolog using coroutines and attributed variables
bivab/eqsat
Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/
bivab/markov-university-classes
Alan Turing, Turingmaschinen und ihr rechtlicher sowie sozialer Kontext
bivab/bivab.github.io
bivab/homebridge
HomeKit support for the impatient
bivab/imap-backup
Backup and Migrate IMAP Email Accounts
bivab/java-spring-cloud
Distributed tracing for Spring Boot, Cloud and other Spring projects
bivab/mobile-dl
mobile-dl is a roll-your-own Instapaper for rich media.
bivab/opentracing-spring-cloud-redis-starter-demo
Reproducer for RedisClusterMode issue with opentracing-spring-cloud-redis-starter
bivab/prob_bash_completion
Bash autocompletion for ProB
bivab/pypy-pip
Debian binary package to install pip on pypy(-upstream)
bivab/pypy-setuptools
Debian binary package to install distutils on pypy(-upstream)
bivab/pysat
Simple DPLL based SAT Solver implemented in RPython
bivab/pytest-prob
Pytest plug-in to run B predicates and expressions as tests on ProB
bivab/styleguide
Style guides for Google-originated open-source projects