Robert Grosse

Krakatau. Java decompiler, assembler, and disassembler

enjarify. Python

cubiml-demo. A simple ML-like programming language with subtyping and full type inference.

IntercalScript. The IntercalScript programming language

polysubml-demo. A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference

1subml. The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

jrt-extractor. Extract Java 9+ JRT image to a normal Jar

easy_strings. Ergonomic, garbage collected strings for Rust

stable_deref_trait. Unsafe marker trait for types that deref to a stable address

fnv-collider. FNV hash collision generator

cryptominisat-rs. Rust

ankou. Python

krakatau-js. A JS port of Krakatau assembler/disassembler from its original author (@Storyyeller)

bishbashonce. Cram script for Wanikani

wkbuddy. Tools and statistics for Wanikani

vivint-solutions. Rust

griddler-solver. Griddler (Nonogram) solver - CS Senior Design project

cakesupport. A Support website using cakePHP