kiniry

ESCJava2

The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.

Mobius

objective-c

Repository for DTU course "Programming in Objective-C".

Contracts-in-OpenBSD

Experimentation with software contracts in OpenBSD.

straightener

Automatically exported from code.google.com/p/straightener

OBJ3

OBJ3-2.10 - OBJ3 and TRIM compiler update to compile under GCL 2.6.12

Simplify

Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.

FreeBoogie

FreeBoogie is a Java implementation of the "World's Best Program Verification System."

GitKraken

Experiments with GitKraken.

GNUEiffel

SmallEiffel and SmartEiffel Ports to AmigaDE/Elate

ISA_Formal_Spec_Public_Review

Locus site for Public Review of Several RISC-V ISA Formal Specs

JavaFE

This is the Java frontend which parses Java 1.5 bytecode and Java 1.4 source code. It is used as the compiler foundation of several tools including ESC/Java2 and RCC.

jkin

KindFTP

KindFTP is meant to be a complete implementation of the FTP protocol, as specified in RFC959.

KindSoftware

The website of the KindSoftware research group.

me-thesis-antlr

Automatically exported from code.google.com/p/me-thesis-antlr

NemIDJavaReverser

Disassembles the Danish NemID using Krakatau, decrypts strings and renames methods and classes, before assembling it all again.

OpenNemID

Propi

Propi is a prototype tool for working with semantic properties, written in Java.

RCC

RCC: Race Condition Checker for Java

research

General repository for research artifacts.

Rexastor

Rexastor is a tool for automatic generation of Extended Abstract Syntax Trees (XASTs) in Java. Unlike many other code generators, Rexastor preserves type safety and code reuse across similar AST.

riscv-software-list

The RISC-V software tools list, as seen on riscv.org

SATConfig

SATConfig is a tool for performing configurations of given in a Conjunctive Normal Form using a SAT solver.

SenseTile

tevs

Automatically exported from code.google.com/p/tevs

tevs.gui

Automatically exported from code.google.com/p/tevs.gui

UCD

Archive of past teaching resources from University College Dublin.

VocabularyBuilder

walking-with-dinosaurs