bivab
Follow
-
imap-backup Public
Forked from joeyates/imap-backupBackup and Migrate IMAP Email Accounts
Ruby MIT License UpdatedDec 2, 2023 -
smbus-cffi Public archive
Python bindings for Linux SMBus access through i2c-dev using cffi
-
java-spring-cloud Public
Forked from opentracing-contrib/java-spring-cloudDistributed tracing for Spring Boot, Cloud and other Spring projects
Java Apache License 2.0 UpdatedFeb 4, 2022 -
Reproducer for RedisClusterMode issue with opentracing-spring-cloud-redis-starter
Java UpdatedFeb 4, 2022 -
styleguide Public
Forked from google/styleguideStyle guides for Google-originated open-source projects
HTML Apache License 2.0 UpdatedMay 13, 2020 -
prob_bash_completion Public archive
Bash autocompletion for ProB
Shell MIT License UpdatedNov 23, 2017 -
planets Public
git merge playground for teaching
-
prob.vim Public
Show B parse and type errors in vim
-
markov-university-classes Public
Alan Turing, Turingmaschinen und ihr rechtlicher sowie sozialer Kontext
-
pytest-prob Public
Pytest plug-in to run B predicates and expressions as tests on ProB
Python ISC License UpdatedJul 21, 2016 -
gitlab-sync Public archive
Utility to synchronize a GitLab group of repositories at once.
-
homebridge Public
Forked from homebridge/homebridgeHomeKit support for the impatient
JavaScript Apache License 2.0 UpdatedOct 3, 2015 -
-
pypy-setuptools Public
Debian binary package to install distutils on pypy(-upstream)
UpdatedOct 12, 2013 -
-
clpfd Public
CLP(fd) solver in Prolog using coroutines and attributed variables
-
-
mobile-dl Public
Forked from scottjacksonx/mobile-dlmobile-dl is a roll-your-own Instapaper for rich media.
Python UpdatedNov 23, 2011 -
-
-
-
-
eqsat Public
Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/