b-language

There are 0 repository under b-language topic.

AkshayanMohandas / Old-Asteroids-Arcade-Game
B specification for a simplified version of the classic Spaceship & Asteroids arcade game, utilizing the B tools Atelier B and ProB.
arcade-game asteroids-game atelier-b b-language formal-methods pro-b
2
AI2001_Category-Source_Code-SC-B
seanpm2001 / AI2001_Category-Source_Code-SC-B
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:B category for AI2001, containing B programming language datasets
ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence b b-lang b-language dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt b-sc-dataset
Language:R 2
Learn-B
seanpm2001 / Learn-B
A repository for showcasing my knowledge of the B programming language, and continuing to learn the language
article b b-lang b-language gpl3 gplv3 knowledge learn md seanpm2001 seanpm2001-education seanpm2001-learn txt learn-b learn-b-lang learn-b-language
Language:HTML 2
SNU_2D_ProgrammingTools_IDE_B
seanpm2001 / SNU_2D_ProgrammingTools_IDE_B
The B Programming language IDE submodule for SNU Programming Tools (2D Mode)
b b-lang b-language gpl3 gplv3 ide md programming snu snu-2d snu-2d-programming-tools snu-2d-programmingtools snu-development snu-programming-tools snu2d-programmingtools snu2dprogrammingtools snuprogrammingtools txt web-development web-ide
Language:HTML 2
senthuran16 / spaceship-and-asteroids-b-specification
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.
atelier-b maze spaceship asteroids reasoning game pro-b b-language asteroids-game
Language:Nextflow 1
Sanushi-Salgado / Maze-Robot-System
B specification for a robot moving around a simple maze
atelier-b prob b-specification b-language formal-specification
Language:Nextflow 0
SuloshiPHD / Robot
Development of a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.
atelier-b b-language