#
b-lang
Here are 6 public repositories matching this topic...
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.
-
Updated
Dec 28, 2018 - Nextflow
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:B category for AI2001, containing B programming language datasets
aigplv3artificial-intelligencedatasetr-languagebmdtxtgpl3b-langb-languagermarkdown-languageai2001ai-2001ai2001-datasetai-2001-datasetai2001-developmentai-2001-developmentsource-code-datasetb-sc-dataset
-
Updated
May 14, 2023 - R
The B Programming language IDE submodule for SNU Programming Tools (2D Mode)
web-developmentprogrammingweb-idegplv3idebmdtxtsnugpl3b-langb-languagesnu2d-programmingtoolssnu-2dsnu-programming-toolssnu-2d-programmingtoolssnu-developmentsnu-2d-programming-toolssnuprogrammingtoolssnu2dprogrammingtools
-
Updated
Oct 3, 2022 - HTML
A repository for showcasing my knowledge of the B programming language, and continuing to learn the language
knowledgearticlegplv3learnbmdtxtgpl3b-langseanpm2001b-languageseanpm2001-educationseanpm2001-learnlearn-blearn-b-langlearn-b-language
-
Updated
Oct 3, 2022 - HTML
Add this topic to your repo
To associate your repository with the b-lang topic, visit your repo's landing page and select "manage topics."