Joseph Kiniry's repositories
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
FreeBoogie
FreeBoogie is a Java implementation of the "World's Best Program Verification System."
ISA_Formal_Spec_Public_Review
Locus site for Public Review of Several RISC-V ISA Formal Specs
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.
riscv-software-list
The RISC-V software tools list, as seen on riscv.org