bivab/prob.vim
Show B parse and type errors in vim
Public GitHub Catalog
Discovered Sep 24, 2026
bivab / eqsat
Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#650503GitHub System ID
bivabOrganization / User
PublicVisibility
ActiveCatalog Status
More from bivab
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