Search Results for "linux systems"

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

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!

MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.

Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).

The Jikes Research Virtual Machine (RVM) is designed to execute Java(TM) programs that are typically used in research on fundamental virtual machine design issues.

JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.

...An IDE is much more than a text editor. Asterix IDE offers superior support for JAVA and HTML5 developers, providing comprehensive editors and tools. Asterix IDE can be installed on all operating systems that support Java, from Windows to Linux to Mac OS systems. Write Once, Run Anywhere, is as true for Asterix IDE as it is for your own applications, because Asterix IDE itself is written in Java, too!

Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.

C-Lesh is a game programming language for 2D games - mainly arcade and platform games. When combined with the Super Mario World (SMW) engine you can create awesome 2D platform games like Super Mario World. This language evolved from a "clone" of TI-BASIC which I began developing when I was having memory (segmentation fault) bugs with C. C-Lesh lacks memory allocation and destruction. There is no need to use pointers and you can never get memory leaks or program crashes caused by memory...

Forth compiler for the Compiled Virtual Machine

z390 Portable Mainframe Assembler and Emulator

bfrun is a Brainf*ck interpreter (Bf VM). bfrun written in pure Java and Platform - Independent. bfrun is high performance Bf VM with debugging support (works more fast than beef and gbf up to 20 times). Supported 8 ,16 and 32 bit memory.

ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.

dxcut is a library for reading, editing, and writing dex and odex files which contain the class definition and Dalvik bytecode used by the Android operating system. This project includes a disassembler/decompiler, dex optimizer, and hooking utils.

XTypeS is a DSL for writing type systems for languages implemented in Xtext.

A Java bytecode weaver that enables you to take advantage of the new 1.5 language features in your source code, while still retaining compatibility with 1.4 virtual machines.

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.

Jawk is an interpreter/compiler for the AWK programming language for Java. Unlike prior versions, Jawk provides an efficient execution environment for AWK with minimal enhancements to the language.

JSim8086 is platform-independent Assembly Language Simulator of the Intel 8086 CPU. It was designed to be a learning tool (CAL) for first year Computing students who are learning Computer Systems Organisation and Assembly Programming.

BeanClipse is a NetBeans plugin for Eclipse: NetBeans runs embedded within the Eclipse platform as a plugin offering the best of both worlds to Java developers. May be just a joke ;-) .... Check also it's twin at : http://sf.net/projects/netclipse

QJ-Pro is a sophisticated code quality assessment and coding standards technology for Java development detecting potential software defects at compile time. It offers the ability to significantly reduce code review effort by automating a major portion of

OpenL implements Java-like languages allowing to use code snippets placed in Excel, XML, or DB. OpenL is a foundation for OpenRules http://openrules.com. Maintained from http://openl.org

Compiler for java assembly to class file. This compiler contains dead code detection and allow creating method, field and constructor from a java assembly file

antlraux is a java package thought to be used in combination with antlr(http://www.antlr.org). Features contextual information management, command line parsing and lexical information treatment.

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.