Open Source BSD Compilers - Page 6

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

An API and a graphical tool for inspection (viewing, searching and comparing) and manipulation (modification, obfuscation, refactoring of methods, fields, attributes and code) of classfiles for the Java platform.

SLEEF stands for SIMD Library for Evaluating Elementary Functions. SLEEF implements vectorized versions of all C99 math functions, that utilize SIMD instructions of modern processors to make computation more efficient. The library also includes vectorized DFT subroutines.

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

Acheron is a Common Lisp (CL) to JavaScript (JS) compiler. Programs are written in a subset of CL and after compilation executed in a webbrowser. Acheron has native functions that are written in JS and are the bridge between CL and JS.

CppCC is an object-oriented scanner and LL(k) parser generator. It aims to replace LEX&YACC for those who write C++ applications that involve parsing.

A Cobol compiler, implemented as a new front end to the GCC compiler.

JS/CC is a parser generator for JavaScript/ECMAScript, which is entirely written in ECMAScript itself. It produces LALR(1) parsers with integrated lexical analyzers. JS/CC can run as a website or be invoked from a console, and runs on several platforms.

Here you can find both an Oberon V4 system for Linux (x86) and a collection of Oberon V4 sources for various other platforms. Oberon V4 was implemented at ETH Zurich for several platforms. Binaries can be found on their server[1] and on the one of the University of Linz[2] where Mössenböck's group did further development after he left ETH and the Group at ETH concentrated on System 3. More Information can be found in the wiki https://sourceforge.net/p/oberon/wiki/Home/ of this Project and on Wikipedia https://en.wikipedia.org/wiki/Oberon_(operating_system). In 2013 they were moved here for easy access and, in case of interest, collaboration on further development. The Oberon mailing list[3] is an established channel for its discussion and followed also by the administrators of this SF project. [1] ftp://ftp.ethoberon.ethz.ch/Oberon/OberonV4/ [2] ftp://oberon.ssw.uni-linz.ac.at/pub/Oberon/ [3] https://lists.inf.ethz.ch/mailman/listinfo/oberon

PAS2PHP will translate a large subset of Object Pascal to PHP, allowing you to write web applications using Lazarus/FreePascal, and then run the application on a standard HTML/PHP server. Over the last week, a lot of work has gone into PAS2PHP. Most of the major issues are resolved. There are still a number of incompatibilities which are either not fixable, or have simple workarounds. As of v0.5, you should be able to write entire PHP applications in Pascal. The key to coding for PAS2PHP is to understand the limitations of PHP. Read the example code provided, and always check the outputed PHP code to understand how this works. As a guide to what PAS2PHP can achieve... my web site is written in Pascal, and then converted to PHP. (The code is in the source package). PAS2PHP uses the Pascal Parse Tree Classes (PasTree) which comes with FreePascal, and therefore the parsing limits are defined by this library.

A version of the SmallEiffel compiler (smalleiffel.loria.fr) with extra features, such as multiple threads, mysql database library, curses library, BeOS API library and built in option for boehm garbage collector.

In this project we aim to develop scheme libraries for developing various web applications (especially servlets and xml-based web services). Our approach is to use jscheme (an open source implementation of scheme in Java) as the core language which allow

Translate SWF is C++ based compiler for Macromedia's ActionScript language. Translate currently supports Actionscript 1. 06/12/2010: This project is now hosted on GitHub: https://github.com/StuartMacKay/translate-cxx

ULS is a class library for creating lexical analyzer from language specification file. It's provided as C/C++/C# and Java (class) libraries with a few of tools on Linux/Windows platform.

f2cpp is a python script to convert Fortran 77 to C++ code. The output files of f2cpp script, in contrast to the well-known f2c translator, can be easy read by human.

latexcalc is a "LaTeX Calculator" that calculates values inside your LaTeX files before typesetting them. More accurately, it preprocesses files written in a superset of the LaTeX typesetting language and evaluates specified expressions in the text.

nwcc is a C compiler for Unix systems targeting *BSD, OSX, Linux and Solaris on x86 (nasm/gas), FreeBSD, OSX and Linux on AMD64 (yasm/gas), Solaris on SPARC, AIX and Linux on PPC/PPC64 and IRIX on MIPS64. Cross-compilation is supported.

This is a resurrection of Matthias Blume's VSCM Scheme implementation.

yUba is a programming language for easy Web-application development: (1) yUba creates both client-side code(Javascript) and server-side code(Perl) at once. (2) XML/HTML can be embedded directly in yUba codes without any quotations.

JODE is a java package containing a decompiler and an optimizer (aka obfuscator ;-) for java.

BNF for Java is a BNF Compiler-Compiler, or Parser-Generator. It implements ISO Standard Backus-Naur Format, using Java. BNF allows you to create a syntax, or a complete language, to parse your data source. Your custom Java extensions generate output.

This project aims to provide a common and convenient environment for evaluating C and C++ compilers' relative performances on some well-known benchmarks and applications.

A scripting language designed to create console-like 2D games.

Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.