bor0 / budge

Budge - a programming language and a theorem prover

bor0/budge Stargazers

Spiro
5pir3x
Boro Sitnikovski
bor0
Chris Pressey
cpressey
Dani Guardiola
DaniGuardiola
DevenLu
Ian Ramos
IanRamosC
Mesabloo
Mesabloo
Mtv Europe
mtve
tluyben
Andrej T.
whoeverest

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.