RSS 17 projects tagged "Cygwin"

Download No website Updated 10 Aug 2013 Racket

Screenshot
Pop 353.72
Vit 31.44

Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.

No download Website Updated 28 Nov 2013 RPL/2

Screenshot
Pop 197.71
Vit 69.32

RPL/2 (Reverse Polish Lisp/2) is a langage derived from the RPL made by Hewlett-Packard for its HP-28S. It has some extensions (preprocessor, compilated libraries, new functions), a TeX output, and can draw graphics.

No download Website Updated 25 May 2004 Pluk

Screenshot
Pop 39.24
Vit 2.01

Pluk is an object-oriented programming language. It utilizes powerful static typing techniques. It was designed to fix some frustrations that people were having with C++, Java, and C#.

Download Website Updated 28 Sep 2004 CCIDE

Screenshot
Pop 31.56
Vit 2.01

Ccide reads C, C++, BASIC, or bash source code containing embedded decision tables from stdin, expands the tables, copies the remaining statements, and forms a compilable C or C++ source module, executable bash script, or interpretable BASIC program. Erratic side effects are avoided by evaluating all condition expressions at exactly the same time, and by performing all evaluations and actions in the original sequence.

Download Website Updated 12 Jan 2012 coNCePTuaL

Screenshot
Pop 65.53
Vit 9.43

coNCePTuaL is a domain-specific programming language for rapidly generating programs that measure the performance and/or test the correctness of networks and network protocol layers. A few lines of coNCePTuaL code can produce programs that would take significantly more effort to write in a conventional programming language.

Download Website Updated 26 Oct 2007 PL/1 for GCC

Screenshot
Pop 55.79
Vit 3.21

The pl1gcc project is an attempt to create a native PL/I compiler using the GNU Compiler Collection. PL/I is a third-generation procedural language suitable for a wide range of applications including system software, graphics, simulation, text processing, Web, and business applications.

Download Website Updated 24 Apr 2012 D frontend for GCC

Screenshot
Pop 89.14
Vit 10.03

D is a high-level language derived from C and C++ but is not backwards-compatible with either. GDC is a frontend for D written for GCC.

No download Website Updated 18 Jan 2006 GODI

Screenshot
Pop 28.90
Vit 1.52

GODI provides an advanced programming environment for the Objective Caml (O'Caml) language. From INRIA (who created O'Caml) you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and there are many developers providing them. But it is a lot of work to build and install them. GODI is a system that simplifies this task: It is a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. For a number of reasons, GODI is a source-code based system, and there are no precompiled libraries, but it makes it very simple for everybody to compile them.

No download Website Updated 22 Nov 2004 Oink

Screenshot
Pop 34.19
Vit 1.00

Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industrial-strength for immediate utility in finding bugs, extensible for ease in adding backends, and composable for ease in combining existing ones. It computes expression-level and type-level data flow, and statement-level intra-procedural control flow (by delegating to Elsa). It's easy to get started by using the two demo backends that print graphs of these flows. It also comes with a client of the data flow analysis that does type qualifier inference: Cqual++, a C/C++ frontend for Cqual. Whole-program analyses may be attempted using the linker imitator.

No download Website Updated 06 Nov 2005 Stratego/XT

Screenshot
Pop 29.33
Vit 1.00

Stratego/XT is a development environment for creating stand-alone transformation systems. It combines Stratego, a language for implementing transformations based on the paradigm of programmable rewriting strategies, with XT, a collection of reusable components and tools for the development of transformation systems. In general, Stratego/XT is intended for the analysis, manipulation, and generation of programs, though its features make it useful for transforming any structured documents. In practice, it has been used to build many types of transformation systems including compilers, interpreters, static analyzers, domain-specific optimizers, code generators, source code refactorers, documentation generators, and document transformers.

Screenshot

Project Spotlight

openModeller

An ecological niche modeling framework.

Screenshot

Project Spotlight

Diladele Web Safety

A Web filtering ICAP server for the Squid proxy server.