Topic: "b-language"
humbertocsjr/picosystem
Operating System and SDK for 8086
Language: C - Size: 173 KB - Last synced at: 3 days ago - Pushed at: 20 days ago - Stars: 2 - Forks: 0
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.
Size: 257 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
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 at: 3 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1
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 at: 3 days ago - Pushed at: over 2 years 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 at: 3 days ago - Pushed at: over 2 years 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 at: 2 months ago - Pushed at: over 4 years ago - Stars: 1 - 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 at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
