Search Results for "programming learning system"

Eli is a programming environment that supports all phases of translator construction with extensive libraries implementing common tasks, yet handling arbitrary special cases. Output is the C subset of C++. Please use eli-project-users list for suppor

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.

Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.

SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...

PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it.

Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables. Ccide checks all conditions once and only once, avoiding side effects. Ccide checks tables for conflicts and other...

System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.

ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.

LIME (Less-is-More) is parallel/concurrent programming environment based on C. Internally, it uses XML technology to describe tasks and their dependencies. Externally, it offers the ANSI C99 programming as well as a set of visually-oriented interfaces.

GClassGen is a program that generates a GObject class in a variety of programming languages based on certain inputs. It does this using a plugin system, so additional languages can be added without re-compiling the main program.

WESP is a collection of subtle scripts and programs written in several languages (C, /bin/sh, (g)awk, ruby, icon) that breaths a new life into the WEB system for literate programming by Donald Knuth (and CWEB by Knuth/Sylvio Levy).

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

The Enveria IDE for Rapid Application Development is an intuitive platform for programming robust GUI software. Keep Enveria open source, don't be shy - donate today!

The program emulates a MIX machine (introduced by Knuth in his books "The Art of Computer Programming"). - MIX Assembly Language (MIXAL) parser that converts the MIXAL code to MIX machine code - a MIX interpreter which executes MIX machine code

hIDE is an Integrated Development Environment (IDE) for C++, C & Java based application programming. It is currently being developed on the Linux platform with plans for an eventual port to Windows.

The project's aim is to build automated programming language translation system that will port program sources written in one language to other programming language(s).

Programming Utilities written for quicker development processes. Distributed in one big package. All GPL.

Luxor is a new system programming language, designed to use instead of assembler, C/C++, or other system programming languages.

The Cup Programming Language is a combination compiler and VM (Virtual Machine). The language is purely procedural, though allows 'top-level' code like a scripting language.

XML-Lit is a simple language-independent literate programming system that works with any XML-based markup language.

Open SPHiNX C-- Compiler is a set of compiler and libraries based on the "SPHiNX C--" programming language created by Peter Cellik.

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.

Logical Neighborhoods is a a high-level programming abstraction for wireless sensor networks that simplifies the development of fully distributed, embedded networked applications.