Discover @bivab Open Source projects

David Schneider (@bivab)

bivab

Stars
91
Global Rank 221,144 (Top 8 %)
Followers 41
Following 40
Registered over 16 years ago
Most used languages

Python
72.7 %

Vim Script
9.1 %

Prolog
9.1 %

Java
9.1 %
Location 🇩🇪 Germany
Country Total Rank 11,060
Country Ranking

Prolog
93

Vim Script
426

Python
1,917

Java
5,780

smbus-cffi

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

they_stole_two_million

latitude_export

Google Latitude data exporter

brainfuck

Toy Brainfuck bytecode interpreter using RPython

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

markov-university-classes

Alan Turing, Turingmaschinen und ihr rechtlicher sowie sozialer Kontext

clpfd

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

eqsat

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