Projects in Awesome Lists tagged with b-programming

A curated list of projects in awesome lists tagged with b-programming .

• Sort

  • Recently synced
  • Stars

https://github.com/ruferdz/snakes-and-ladders

🪜 B Specification Program for snakes and ladders game as a part of 6SENG001W Reasoning About Programs Coursework 02 (2021/22) 🐍

b-programming formal-methods

Last synced: 15 Mar 2026

https://github.com/ruferdz/spaceships-asteroids

🚀 B Specification Program for Spaceships & Asteroids game as a part of 6SENG001W Reasoning About Programs Coursework 01 (2021/22) 🪨

b-programming formal-methods

Last synced: 02 Apr 2026