kiniry
Dad. Partner. Scientist. Activist. Maker. I'm the Principled CEO and Chief Scientist at Free & Fair. I'm a Principal Scientist at Galois.
@FreeAndFair @GaloisInc Portland, OR
Pinned Repositories
Contracts-in-OpenBSD
Experimentation with software contracts in OpenBSD.
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
OBJ3
OBJ3-2.10 - OBJ3 and TRIM compiler update to compile under GCL 2.6.12
objective-c
Repository for DTU course "Programming in Objective-C".
Simplify
Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.
straightener
Automatically exported from code.google.com/p/straightener
kiniry's Repositories
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.
kiniry/Mobius
kiniry/Contracts-in-OpenBSD
Experimentation with software contracts in OpenBSD.
kiniry/objective-c
Repository for DTU course "Programming in Objective-C".
kiniry/OBJ3
OBJ3-2.10 - OBJ3 and TRIM compiler update to compile under GCL 2.6.12
kiniry/straightener
Automatically exported from code.google.com/p/straightener
kiniry/Simplify
Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.
kiniry/walking-with-dinosaurs
kiniry/FreeBoogie
FreeBoogie is a Java implementation of the "World's Best Program Verification System."
kiniry/GitKraken
Experiments with GitKraken.
kiniry/GNUEiffel
SmallEiffel and SmartEiffel Ports to AmigaDE/Elate
kiniry/ISA_Formal_Spec_Public_Review
Locus site for Public Review of Several RISC-V ISA Formal Specs
kiniry/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.
kiniry/jkin
kiniry/KindFTP
KindFTP is meant to be a complete implementation of the FTP protocol, as specified in RFC959.
kiniry/KindSoftware
The website of the KindSoftware research group.
kiniry/me-thesis-antlr
Automatically exported from code.google.com/p/me-thesis-antlr
kiniry/NemIDJavaReverser
Disassembles the Danish NemID using Krakatau, decrypts strings and renames methods and classes, before assembling it all again.
kiniry/OpenNemID
kiniry/Propi
Propi is a prototype tool for working with semantic properties, written in Java.
kiniry/RCC
RCC: Race Condition Checker for Java
kiniry/research
General repository for research artifacts.
kiniry/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.
kiniry/riscv-software-list
The RISC-V software tools list, as seen on riscv.org
kiniry/SATConfig
SATConfig is a tool for performing configurations of given in a Conjunctive Normal Form using a SAT solver.
kiniry/SenseTile
kiniry/tevs
Automatically exported from code.google.com/p/tevs
kiniry/tevs.gui
Automatically exported from code.google.com/p/tevs.gui
kiniry/UCD
Archive of past teaching resources from University College Dublin.
kiniry/VocabularyBuilder