Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.125.214 Times

B Compiler 19.05.2009

Company: thanik
Date Added: August 29, 2013  |  Visits: 230

B Compiler

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 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
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...
 
Libraries  -  Cross Platform Toolkit Library (xtklib) 0.2.0 Alpha
Cross Platform Toolkit Library (xtklib) is a C++ based framework for highly object-oriented cross-platform programming. In particular, the library provides a full abstraction layer between its API and the main services offered by the underlying...
256 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  
Business  -  xsddoc 1.0
The xsddoc subproject is a XML Schema documentation generator for W3C XML Schemas. The latest version of xsddoc is release 1.0 which is mainly written in XSLT. Based on the experience in developing xsddoc and the problems we had handling the...
4.9 MB  
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  
NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
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  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
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  -  VRVis 1.0a1
VRVis is a programmer's toolkit for rapid development of Virtual Reality applications in the field of geospatial data visualization. It is based on VR Juggler and therefore (theoretically) independent of the displaying VR platform. As an interface...
92.16 KB  
Development Editors  -  W Windows System 1.4.9
W Windows System is a compact-sized and speedy windows system.It is currently used in Yopy, the Linux PDA.Hope with this project that it evolves into one of standard systems for handheld devices.
1.08 MB  
Development Editors  -  Fnokii 0.0.3
Fnokii is a simple file transfer Gtk+ GUI for gnokii. It supports upload, download and delete files in well-known mobile phone folders.
10.24 KB  
Development Editors  -  codive 20100417
codive is a software for programmers and administrators. The basic idea is to combine a file browser and an editor into a 3D-space. This should allow us to look at code "from a distance", thus keep a better orientation, and accelerate our work.
1.45 MB