Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with b-language
A curated list of projects in awesome lists tagged with b-language .
https://github.com/senthuran16/spaceship-and-asteroids-b-specification
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.
asteroids asteroids-game atelier-b b-language game maze pro-b reasoning spaceship
Last synced: 08 Nov 2024
