×
You must be logged in to change this data. If you don't have an account, please join.
Settings : Manage Projects
| Name | I Use This | Lines of Code | Current Committers | Community Rating | Reviews | Description | |||
|---|---|---|---|---|---|---|---|---|---|
|
W |
WhileyDevelopmentKit | 0 | 176 | 3 | none | 0 | The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc. | Remove | |
|
W |
WhileyCompilerCol... | 0 | 0 | 3 | none | 0 | A compiler framework for managing the Whiley Compiler and related tooling. | Remove | |
|
W |
Whiley2JavaCompiler | 0 | 3795 | 0 | none | 0 | The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes. | Remove | |
|
W |
WhileyTheoremProver | 0 | 19238 | 1 | none | 0 | The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification. | Remove | |
|
Whiley Benchmarks | 1 | 1665 | 0 | none | 0 | A Benchmark Suite for Whiley. | Remove | |
|
Whiley Documentation | 1 | 5017 | 1 | none | 0 | Various documents relating to the Whiley Programming Language. | Remove | |
|
Jasm | 1 | 28783 | 4 | 0 | An Assembler / Disassembler for Java Bytecode. Also, a useful library for reading / writing class files which is currently used in the Whiley compiler (see http://whiley.org). | Remove | ||
|
Whiley Eclipse Pl... | 1 | 0 | 0 | 0 | Eclipse Plugin for the Whiley Programming Language | Remove | ||
|
Whiley Compiler (... | 1 | 33861 | 1 | 0 | Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors. | Remove |