The B compiler is a tool able to parse B models, and perform syntaxic and semantic analysis. It can also be used as a library, linked to applications manipulating B models (cross referencer, code generator, documentation generator, etc.).
The most recent source code is available at https://github.com/CLEARSY/BCOMPILER

Project Activity

See All Activity >

Categories

Compilers

License

GNU General Public License version 2.0 (GPLv2)

Follow B Compiler

B Compiler Web Site

nel_h2
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of B Compiler!

Additional Project Details

Operating Systems

Linux, Windows

Intended Audience

Developers

Programming Language

C

Related Categories

C Compilers

Registered

2008-07-01
Report inappropriate content