Programming

Bake is a small domain specific programming language for describing how to transform one file into another. Bake uses the typical topological sort, but has features that make describing this relatively easy. Bake has patterns, similar to make, but which are part of the dependency graph (unlike...

rospell is a UTF-8 programming editor with spelling support for Romanian and English languages. It requires QT library from Trolltech. The project is supported on Linux and FreeBSD/PC-BSD..

DOMjudge is an automated judge system to run programming contests. It has a mechanism to submit problem solutions, have them judged fully automatically and provides (web)interfaces for teams, the jury and the general public. DOMjudge is meant to be used in programming contests like the ACM ICPC...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Aapl is a C++ template library for generic programming. Aapl supports different generic programming paradigms by providing variations of standard data structures. For example, a by-value linked list template may be used to store a user supplied type such as an integer. A different list...


Platforms: *nix

Xwpe is a programming environment with a user interface that mimics the Borland C and Pascal family of products. The user interface mimics the Borland C and Pascal family of products for MS-DOS. From within xwpe you can edit, compile, and debug programs. Unfortunately Fred Kruse seems to no...


Platforms: *nix

GIPSpin is a graphical interface programming system which allows code to be visualized and which can generate threaded code. The user constructs code segments using visual boxes. The program flow is represented as links between the boxes. Complex elements such as threader boxes are available to...


Platforms: *nix

GNU Classpath (essential libraries for Java) is a project to create free core class libraries for use with virtual machines and compilers for the Java programming language. GNU Classpath project includes all native methods and core classes necessary for a completely functional execution...


Platforms: *nix

Qu is a powerful full-featured object oriented programming language. It is an Open Source software. The Qu Programming Language is absolutely free (as in free lunch) and distributed under the GNU General Public License (GPL). Qu is inspired by other languages. Most noticeably Perl, Python, Ruby...


Platforms: *nix

PAPI aims to provide the tool designer and application engineer with a consistent interface and methodology for use of the performance counter hardware found in most major microprocessors. PAPI enables software engineers to see, in near real time, the relation between software performance and...


Platforms: *nix

Virgil projetc is an new, object-oriented, light-weight programming language that is designed for building software for resource-constrained embedded systems at the lowest level. Microcontroller programmers can now develop complete software systems, including hardware drivers and OS services, in...


Platforms: *nix

Gecode/J is a Java interface for the Gecode C++ constraint programming library. It allows you to: model and solve constraint problems in Java. explore the search tree with our tree visualization tool. Either using the built-in depth-first search strategy, or manually and interactively....


Platforms: *nix

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...


Platforms: *nix

X Language is a new multi-syntax programming including a portable set of APIs to create console or graphical applications runnable on many platforms (UNIX/X11, Win32, ...). X Language comes with an interpreter, a compiler and a debugger. X Language is publicly available under the GPL....


Platforms: *nix

Qore Eclipse IDE Plugin software allows you to develop in the Qore Programming Language within Eclipse. Qore language syntax highlighting: - code completion - outline view for edited source - launch support from within Eclipse (running Qore scripts with output displayed in Eclipse console,...


Platforms: *nix

DL/SQL is declarative, turing-complete programming language based on top of SQL database. The main idea is to store both program and data in one SQL table and make all the computations in it. The current version of interpreter written in PHP contains quasi-lazy evaluation and simple caching....


Platforms: *nix

Logtalk is an open source object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, it is compatible with most Prolog compilers. Logtalk supports both prototypes and classes. In addition, it supports...


Platforms: *nix

mod_perl project brings together the full power of the Perl programming language and the Apache HTTP server. You can use Perl to manage Apache, respond to requests for web pages and much more. mod_perl gives you a persistent Perl interpreter embedded in your web server. This lets you avoid the...


Platforms: *nix

KaiView GUI toolkit project is a GUI toolkit for the TOM programming language. Based on a vector-oriented drawing layer using libart and freetype2, it provides a widget layer with subject/view separation, forms loaded from XML files, live updates to the GUI, Unicode support, abstract...


Platforms: *nix

Pygmy is a GNOME mail client written in the Python programming. The current version is 0.6.0 (07/12/02)..


Platforms: *nix

libsigc++ implements a full callback system for use in abstract interfaces and general programming. libsigc++ is the most complete library of its kind with the ability to connect an abstract callback to a class method, function, or function object. It contains adaptor classes for connecting...


Platforms: *nix