Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with b-lang
A curated list of projects in awesome lists tagged with b-lang .
https://github.com/brionmario/b-specification-spaceship-asteroids-game
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.
asteroids-game atelier-b b-lang pro-b
Last synced: 01 Jan 2025
