#

b-specification

Here are 5 public repositories matching this topic...

Athindu / snakes-ladders-game-b-spec

B Specification for Snakes and Ladders game

atelier-b b-specification

Updated Jul 9, 2022
Nextflow

Athindu / spaceship-asteroid-game-b-spec

B Specification for Spaceship and Asteroid game

atelier-b b-specification

Updated Jul 9, 2022
Nextflow

idl99 / robot-maze-abstract-machine

abstract-machine atelier-b b-specification

Updated Dec 16, 2020

Sanushi-Salgado / Maze-Robot-System

B specification for a robot moving around a simple maze

prob formal-specification atelier-b b-specification b-language

Updated Dec 20, 2019
Nextflow

nuvinga / Maze-Robot

B-specification machines mimicking a Robot through its journey in a Maze

graphwiz atelier-b pro-b b-specification structure-diagram

Updated Jan 23, 2023

Improve this page

Add a description, image, and links to the b-specification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the b-specification topic, visit your repo's landing page and select "manage topics."