13 projects tagged "Compilers"
Updated 30 Jan 2001
Ciao Prolog
| Pop | 108.33 |
|---|---|
| Vit | 1.00 |
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
Updated 08 Aug 2001
Jlint
| Pop | 74.83 |
|---|---|
| Vit | 2.03 |
Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked.
Updated 21 Jul 2011
jclasslib bytecode viewer
| Pop | 108.06 |
|---|---|
| Vit | 6.16 |
jclasslib bytecode viewer is a tool that visualizes all aspects of compiled Java class files and the contained bytecode. In addition, it contains a library that enables developers to read, modify, and write Java class files and bytecode.
Updated 30 Jun 2001
Kelly
| Pop | 15.91 |
|---|---|
| Vit | 66.12 |
Kelly is a JBuilder 4 & 5 plugin that makes it easy to deploy EJBs to JOnAS 2.x. Kelly can be installed and run with other JBuilder 4 & 5 plugins such as BEA WebLogicServer 5.1, BEA WLS 6, IBM WebSphere 3.5, Borland AS 4.5, etc. Kelly provides services to Jbuilder 4 & 5 java developers such as the ability to create any XML deployment files required by JOnAS 2.x, hot loading and unloading of any EJBs to JOnAS (only for JBuilder 5), control of JOnAS start-up from JBuilder 4 & 5, and the supply of JOnAS word dictionaries to JBuilder 4 & 5 in order to enhance the JBuilder 4 & 5 text completion services.
Updated 29 Sep 2003
sparse
| Pop | 58.07 |
|---|---|
| Vit | 1.75 |
Sparse is a semantic parser of source files. It's neither a compiler (although it could be used as a front-end for one) nor a preprocessor (although it contains a preprocessing phase). It is meant to be a small, simple, easy to use library. Its function is to create a semantic parse tree for some arbitrary user for further analysis. It's not a tokenizer, nor is it a generic context-free parser. Context (semantics) is what it's all about: figuring out not just what the grouping of tokens are, but what the types are that the grouping implies.
Updated 28 Sep 2004
CCIDE
| Pop | 32.86 |
|---|---|
| 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.
Updated 22 Nov 2004
Oink
| Pop | 33.67 |
|---|---|
| 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.
Updated 26 Dec 2006
DStress
| Pop | 15.78 |
|---|---|
| Vit | 2.29 |
DStress is a D programming language conformance test suite. It is used to test the DMD and GDC compilers.
Updated 03 Mar 2005
cstor
| Pop | 40.79 |
|---|---|
| Vit | 1.00 |
cstor is a cross-reference compiler and reverse engineering tool. It compiles one text file (database) from multiple source modules (currently reads C, C++, and Perl). The tool combines reverse engineering capabilities, code validation, and an HTML documentation generator. The database can then be reused from own scripts and programs, e.g. to implement cross-compilers, validate coding conventions, build statistics etc. The builtin documentation generators are actually an application of the database.
Updated 09 Mar 2005
cxxchecker - C++ source-code style checker
| Pop | 38.34 |
|---|---|
| Vit | 1.00 |
cxxchecker scans C++ source files and checks for commonly accepted coding practices, including variable/class/function naming consistency.
