Linux Software / Programming / Development Editors

B Compiler 19.05.2009

Company: thanik

Date Added: August 29, 2013 | Visits: 413

Report Broken Link
Printer Friendly Version

Product Homepage
Download (45 downloads)

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.).

Requirements: No special requirements

Platforms: *nix, Linux

Keyword: Analysis, Applications, Compiler, Cross, Documentation, Generator, Library, Linked, Manipulating, Models, Parse, Perform, Referencer, Semantic, Syntaxic

Users rating: 0/10

License: Freeware

Size: 2.13 MB

USER REVIEWS

More Reviews or Write Review

B COMPILER RELATED

Libraries - Microsoft Anti-Cross Site Scripting Library 4.2.1 The Microsoft Anti-Cross Site Scripting Library (Anti-XSS) was designed to be an encoding library for developers protect their ASP.NET web-based applications from XSS attacks. It differs from most encoding libraries in that it uses the...
Programming - Cross-Platform System Library 0.01 Cross-Platform System Library is a portable C++ run-time library that provides support for manipulating system resources, such as thread, process, mutex, and synchronize, in Win32 and POSIX(UNIX, Linux, Mac OS X) platforms.	25.83 KB
Multimedia & Graphics - EasyBMP Cross-Platform Bitmap Library 1.06.00 EasyBMP is an easy cross-platform C++ library for reading and writing Windows bitmap BMP files. No installation, no need for external libraries, small size, well-documented, and simple enough for the novice programmer to start in just minutes!	177.07 KB
Programming - phpScribe Documentation Generator 0.9 phpScribe is a documentation generator written in PHP with mySQL support to parse the code files of a project or system to generate HTML-based documentation files. Documentation's language and skin can be configured by the user.	455.96 KB
Business - phpScribe 0.9 phpScribe is a documentation generator to parse source codes comment lines. phpScribe generates documentation files for projects by parsing the comment lines inserted in the source code. The comments must be written in the code in a way they...	358.4 KB
Libraries - Simple DirectMedia Layer for Windows 1.2.14 Simple DirectMedia Layer is a cross-platform multimedia library designed to provide low level access to audio, keyboard, mouse, joystick, 3D hardware via OpenGL, and 2D video framebuffer. It is used by MPEG playback software, emulators, and many...
Libraries - Simple DirectMedia Layer for Mac OS X 1.2.14 Simple DirectMedia Layer is a cross-platform multimedia library designed to provide low level access to audio, keyboard, mouse, joystick, 3D hardware via OpenGL, and 2D video framebuffer. It is used by MPEG playback software, emulators, and many...
Libraries - Simple DirectMedia Layer for Linux 1.2.14 Simple DirectMedia Layer is a cross-platform multimedia library designed to provide low level access to audio, keyboard, mouse, joystick, 3D hardware via OpenGL, and 2D video framebuffer. It is used by MPEG playback software, emulators, and many...
Business - Natural Docs Feb 10, 2007 Natural Docs is an extensible, multi-language, source code documentation generator written in Perl. Its syntax is transparent so the source comments read just as easily as the generated documentation. Natural Docs also focuses on automation and...	307.2 KB
Libraries - SDL_net 1.2.6 SDL_net library is a small sample cross-platform networking library, with a sample chat client and server application. The chat client uses the GUIlib GUI framework library. Simple DirectMedia Layer is a cross-platform multimedia library...	18.43 KB

NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS

Programming - Cedalion for Linux 0.2.6 Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.	471.04 KB
Programming - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB
Development Editors - KMood 0.30 kmood is a tool for KDE which lets the user to select his current mood. Moods canbe propagated between users on different machines using KDE.	389.12 KB
Development Editors - File Sift 1.0 File Sift groups files and directories to fit within a specified size threshold. This is useful when backing up to media of fixed size (ie cd-r media), and helps maximize the use of space on that media. Provides both graphical and command line...	2.53 MB
Development Editors - GNUsTicker 0.1 GNUsTicker is basically a RSS aggregator. It is a GNOME panel applet that scrolls infos retrieved from RSS, RDF, etc. It may be extended for feeding from different sources (an example for POP3 mail server is provided).	819.2 KB
Development Editors - sarface 0.8 sarface is a user-interface to the sysstat/sar database which inputs data from sar and plots to a live X11 graph via gnuplot. It mimics the cmd-line options from sar but can cross-plot any two or more stats and apply simple mathematical functions...	327.68 KB
Development Editors - Hachikaduki 0.9.2 Hachikaduki is a simple knowledge management tool for knowledge workers. Hachikaduki enables you to manage text-based Knowledge. Hachikaduki has a powerful full-text search function. You can find Knowledge quickly and easily	2.26 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts