Search Results for "work"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

AQ is a fast, small, simple and safe interpreted programming language. It may be a great work.

The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...

chibicc is a small yet highly capable C compiler designed to implement most features of the C11 standard while maintaining a clean and educational codebase. It is intended as both a functional compiler and a learning resource, allowing developers to understand how compilers work by reading and studying its implementation. Despite being categorized as a “toy” compiler, it is powerful enough to compile real-world programs such as Git, SQLite, and libpng without modification. The project is structured incrementally, with each commit representing a step in building a full compiler, making it particularly valuable for educational purposes. ...

...Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. The code now compiles clean for the Atari ST, so it should work for anything else.

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

...It also provides Fortran interfaces to the OpenCL runtime (new). IMPORTANT NOTICE: The Open Fortran Project has switched to using a parser based on SDF (Syntax Definition Formalism). Please consider using our new work at https://github.com/OpenFortranProject/ofp-sdf. While the SDF parser is not as advanced as the ANTLR-based parser, it provides much more capabilities, including a term rewriting system for creating a Fortran AST (Abstract Syntax Tree) using Stratego/XT (see http://strategoxt.org) and other custom program transformations. The OFP ANTLR-based parser is no longer under active development.

...Data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and is the standard for data exchange. Resource Description Framework (RDF) is the W3C recommended standard for data representation. Being able to work with these two languages using a common framework is a great advantage and eliminates several unnecessary steps that are currently used when handling both formats.

Smith is an open source, cross-platform ColdFusion® engine, written entirely in Java. Running on top of Java Runtime Environment and Java Servlet Container, it can be deployed virtually on any operating system and work with any web server.

This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.

LucidEngine is a simple layer over MIDP compatible phones that will let you write simple and old fashioned games using a specific language. Every game you'll develop will basically work on all the devices (even not phones) LucidEngine as been ported.

M is a capability-based language in the Java framework for distributed, secure, persistent, extensible virtual worlds. The project also supports JCC, a Java-based hybrid constraint programming language. This project is also being used for work on TCC and its extensions.

CodeXpand Engine is a Scripting engine written with C++. It work with COMPILED SCRIPT linked at Run Time with Host Applications. The SCRIPT COMPILER generate the CPU bytecode requested from the Host CPU where the application (& the scripts) will run.

This project aims to do for MULTICS what Linux and GNU have done for UNIX - that is, to produce a totally free, totally unencumbered, and totally compliant OS that learns from prior work, rather than copies it.