bivab/prob.vim
Show B parse and type errors in vim
Developer Profile
bivab
Discovered public repositories for bivab in the GitHub catalog.
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/smbus-cffi
Python bindings for Linux SMBus access through i2c-dev using cffi
bivab/prob_bash_completion
Bash autocompletion for ProB
bivab/clpfd
CLP(fd) solver in Prolog using coroutines and attributed variables
bivab/pysat
Simple DPLL based SAT Solver implemented in RPython
bivab/latitude_export
Google Latitude data exporter
bivab/mobile-dl
mobile-dl is a roll-your-own Instapaper for rich media.
bivab/bivab.github.io
Public repository.
bivab/they_stole_two_million
PyWeek 10
bivab/pytri
Model Checker for Petri Nets using RPython
bivab/eqsat
Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/
bivab/brainfuck
Toy Brainfuck bytecode interpreter using RPython