Search Results for "education"

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

EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...

PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime...

Este projeto visa o desenvolvimento e produção de uma ferramenta de compilação da pseudo-linguagem português estruturado (portugol) para auxliar estudantes brasileiros iniciando em atividades de programação.

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!

Important: Groimp migrates to Gitlab. You can find the latest code at "https://gitlab.com/grogra/groimp/". The version on Sourceforge will not be updated anymore. The modelling platform GroIMP is designed as an integrated platform which incorporates modelling, visualisation and interaction. It exhibits several features which makes itself suitable for the field of biological or ALife modelling: The “modelling backbone” consists in the language XL. It is fully integrated, e.g., the...

Lightweight IDE for Java targeting mostly students who are beginning Java programming. Create Java Application, Compile & Run Projects, Build Executable Jar Applications. It requires: 1. Java SDK 1.8 or higher 2. Dotnet Framework 2.0

MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.

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.

HATE's an ASN.1 Text Editor written in Java. It is designed to be easy to use, highly customizable and flexible.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

Asterix IDE (Integrated Development Environment) is especially designed to provide many languages supports in one IDE. Asterix IDE offers superior support for JAVA, C/C++(mingw32-g++) and HTML developers to write, compile and run their code at one place. Asterix IDE lets you quickly and easily make program with multiple programming language support. With its constantly improving Java Editor, many rich features and an extensive range of tools are provided. An IDE is much more than a...

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

This is a compiler for the 'pseudocode' Haggis used by the Scottish Qualifications Authority for specifying pseudo code. The compiler is implemented in Java.

fun4j brings functional programming to the JVM. It's a framework that integrates major concepts from functional programming into the Java Platform. It also provides seamless integration of Java with Lisp coding, by using a lisp-to-bytecode compiler.

Experimental extentions of the JAVA programming language

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.

a Java source to C code translator

ParaPascal is a programming language, an integrated development environment and simulator for learning concurrent programming.

The alpha version description: A dynamic evaluator of mathematical expression. This project aim to teach and train for compiler and interpretor coding.

A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Verto is a compiler that uses a top-down recursive descent parser implemented in Java for educational purposes. It translates Verto language (a subset of the C language) into Caesar machine language. Verto is the Latin word for interpret.

Jasmin is a Java Assembler. It takes ASCII descriptions for Java classes, written in a simple assembler-like syntax. It converts them into binary Java .class class files suitable for loading into a Java Virtual Machine implementation.

JadRetro is a Java decompiler helper supporting Java 1.5+ classes. JadRetro is not a decompiler itself, it is a class transformer helping some old (but good) Java decompilers to convert more class files and/or generate more correct source code.