Here are
8 public repositories
matching this topic...
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:B category for AI2001, containing B programming language datasets
Ken Thompson's Users' Reference to B memo re-set
B specification for a simplified version of the classic Spaceship & Asteroids arcade game, utilizing the B tools Atelier B and ProB.
The B Programming language IDE submodule for SNU Programming Tools (2D Mode)
A repository for showcasing my knowledge of the B programming language, and continuing to learn the language
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.
Updated
Nov 14, 2020
Nextflow
B specification for a robot moving around a simple maze
Updated
Dec 20, 2019
Nextflow
Development of a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.
Improve this page
Add a description, image, and links to the
b-language
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-language
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.