|
|
|
1.
CodeForge IDE
Multi-language Integrated Development Environment. |
|
|
Author: Yuri Mironoff |
|
|
| [Development Status] | | 6 - Mature | | [Environment] | | X11 Applications | | [Intended Audience] | | Advanced End Users, Developers | | [License] | | Other/Proprietary License, Other/Proprietary License with Free Trial | | [Operating System] | | MacOS X, POSIX, POSIX :: AIX, POSIX :: BSD :: FreeBSD, POSIX :: HP-UX, POSIX :: Linux, POSIX :: SunOS/Solaris, Unix | | [Programming Language] | | Ada, C, C++, Fortran, Modula, Objective C, Other, Perl, PHP, Python, Ruby | | [Topic] | | Desktop Environment :: Tools, Software Development :: Build Tools, Software Development :: Compilers, Software Development :: Debuggers, Software Development :: Version Control, Text Editors, Text Editors :: Integrated Development Environments (IDE) | |
|
|
|
|
2.
The Amsterdam Compiler Kit
A lightweight, highly portable compiler toolchain for many architectures. |
|
|
Author: David Given |
|
No screenshot |
|
| Added: |
24-Jun-2005 |
| Updated: |
29-Apr-2007 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.93% |
| License: |
BSD License (revised) |
| Version: |
6.0pre3 |
|
|
|
|
3.
ESC/Java2
An Extended Static Checker for Java. |
|
|
Author: Joseph Kiniry |
|
No screenshot |
|
|
|
|
|
4.
Distributed Concurrent Versioning System
CVS extended by local development lines in distributed repositories. |
|
|
Author: elego Software Solutions GmbH |
|
No screenshot |
| [Development Status] | | 5 - Production/Stable | | [License] | | OSI Approved :: BSD License (original), OSI Approved :: GNU General Public License (GPL) | | [Operating System] | | MacOS X, Microsoft :: Windows :: Windows NT/2000/XP, POSIX, POSIX :: BSD :: FreeBSD, POSIX :: BSD :: NetBSD, POSIX :: Linux, POSIX :: SunOS/Solaris, Unix | | [Programming Language] | | C, Modula | | [Topic] | | Software Development :: Version Control, Software Development :: Version Control :: CVS | |
|
|
|
|
5.
XDS Modula-2/Oberon-2 compilers
A family of compilers for Modula-2 and Oberon-2. |
|
|
Author: Excelsior, LLC |
|
No screenshot |
|
| Added: |
11-May-2005 |
| Updated: |
11-May-2005 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.24% |
| License: |
Freeware |
| Version: |
2.51 |
|
|
|
|
6.
Critical Mass Modula-3
A Modula-3 system. |
|
|
Author: Elego Software Solutions |
|
No screenshot |
|
| Added: |
13-Jun-2001 |
| Updated: |
14-Jun-2001 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.22% |
| License: |
Free To Use But Restricted |
| Version: |
|
|
|
|
|
7.
Ulm's Modula-2 System
Modula-2 compiler for SPARCv8 architectures, supporting PIM3 |
|
|
Author: Andreas Borchert |
|
No screenshot |
|
|
|
|
|
8.
Simplify Theorem Prover
An automated theorem prover. |
|
|
Author: Dermot Cochran |
|
No screenshot |
|
| Added: |
12-Nov-2007 |
| Updated: |
22-Jul-2008 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.11% |
| License: |
Free for non-commercial use |
| Version: |
|
|
|