Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
Pure is a modern-style functional programming language based on term rewriting, slated to become the much improved successor of the author's Q language. NOTE: This project has moved to Github, see https://agraef.github.io/pure-lang/.
Clojure is a dynamic programming language for the JVM. Note - current Clojure development has moved to Google code: http://code.google.com/p/clojure/ Project web site: http://clojure.org
eval is a header-only library for writing C++ scripts. The main aim of the library is to provide means for calling compiled C++ functions/methods/constructors from within a script. An eval script can take arguments, as well as return arbitrary values.
Try Scheme is a Scheme interpreter that runs in your web browser. No installation. Just click and go. Full support for continuations and syntax-rules macros!
Argus is a highly integrated Eclipse plug-in. The purpose of this plug-in is to add additional Errors and Warnings to the Eclipse Framework, assisting Java programmers to create bug free, high quality code.
sexpreader is a library which can be used by compiler or interpreter writers who want to read LISP-like constructs. This library can read in various tokens like integers, floats, symbols, strings, characters, booleans and parenthesis.
upl:"universal programing language" is a platform that help new comers and children to learn programming.
this platform helps to create programing languages for all languages and all purposes.
eventually the languages are translated to java.
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
JDasm is a library written in java to easily manipulate Java class files. It gives you the ability to load a class file and modify it or write a new one from scratch; you can inspect it, edit or export any part of the class file and import it into anothe
A data parallel scientific programming model. Compiles efficiently to different platforms like distributed memory (MPI), shared memory multi-processor (pthreads), Cell BE processor, Nvidia Cuda, SIMD vectorization (SSE, Altivec), and sequential C++ code.
SSEPlus is a SIMD function library. It provides optimized emulation for newer SSE instructions. It also provides a rich set of high performance routines for common operations such as arithmetic, bitwise logic, and data packing and unpacking.
Complete LALR(1) parser generator and engine in PHP.
Complete LALR(1) parser generator and engine (like BISON or YACC) but it's all done in PHP, and the input grammar is easier and more maintainable. Write your actions in PHP. Generate PHP output code. Drive your parser with PHP. Wanna make a language?
Evaluates XPath 1.0 expressions over W3C XML Schema definitions to get a compile-time prediction of nodes that will be matched at run-time. Project homepage: http://xpath-on-schema.sourceforge.net/
This project aims at providing a parser for fortran source code. Output is in XML format. The parser is based on the g95 parser. Additionnal tools in Perl are provided: Fortran source browser; pseudo-compiler environment.
Dingo is a pluggable Schema Compiler for .NET and will generate C# code. The goal is to provide a simple way to generate Domain Objects. .NET XSD currently only generates Data Objects. Dingo can delegate code generation with high granularity.
Ocean Scheme is an implementation of the Scheme programming language (aiming to be compatible with the upcoming R6RS Standard), whose native platform is the .NET framework (Mono, MS, and DotGNU). Written ground-up in C#.
Chasm-interop is a set of tools that parses C++ and Fortran 90 source files and automatically generates bridging code to provide for seamless language interoperability.
Haggler supports the definition, documentation, and implementation of class invariants and method pre-conditions and post-conditions through Java5 annotations.
Tako is a direct programming language with Java-like syntax. Direct languages avoid routine aliasing and allow programmers to view all variables directly as independent objects, simplifying both formal and informal reasoning.
The Generic Analyzer is a framework in Java that is designed to allow users to build, quickly and easily, compilers and interpreters without the need to implement all the complex steps of a translator.
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.