B Compiler

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow B Compiler

B Compiler Web Site

Other Useful Business Software

Test your software product anywhere in the world

Get feedback from real people across 190+ countries with the devices, environments, and payment instruments you need for your perfect test.

Global App Testing is a managed pool of freelancers used by Google, Meta, Microsoft, and other world-beating software companies.

Try us today.

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

Related Categories

C Compilers

Registered

2008-07-01

Similar Business Software

Kinde

Authentication happens at some of the most important, and highly impactful, places in your customers' journey. Take control of user authorization with a passwordless authentication, social integrations, and enterprise SSO. Support the branding of all your customers with custom domains and a...

See Software
CerebrasCoder

CerebrasCoder is an open source platform that enables users to generate fully functional applications rapidly using AI technology. By simply providing prompts, users can transform their ideas into applications instantly, streamlining the development process. CerebrasCoder leverages Llama...

See Software
Go

With a strong ecosystem of tools and APIs on major cloud providers, it is easier than ever to build services with Go. With popular open source packages and a robust standard library, use Go to create fast and elegant CLIs. With enhanced memory performance and support for several IDEs, Go powers...

See Software