Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: b-language
seanpm2001/SNU_2D_ProgrammingTools_IDE_B
The B Programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: HTML - Size: 1.03 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 2
seanpm2001/Learn-B
A repository for showcasing my knowledge of the B programming language, and continuing to learn the language
Language: HTML - Size: 578 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1
seanpm2001/AI2001_Category-Source_Code-SC-B
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:B category for AI2001, containing B programming language datasets
Language: R - Size: 2.48 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1
senthuran16/spaceship-and-asteroids-b-specification
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.
Language: Nextflow - Size: 203 KB - Last synced: 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
SuloshiPHD/Robot
Development of a B specification of a Robot moving around a simple Maze, using the B tools Atelier B & ProB.
Size: 2.75 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0