Robert Grosse

Expert
@Storyyeller

Krakatau. Java decompiler, assembler, and disassembler

2.2k

enjarify. Python

950

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

191

IntercalScript. The IntercalScript programming language

141

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

70

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.

52

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

38

easy_strings. Ergonomic, garbage collected strings for Rust

37

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

36

fnv-collider. FNV hash collision generator

12

cryptominisat-rs. Rust

8

ankou. Python

6

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

5

bishbashonce. Cram script for Wanikani

4

wkbuddy. Tools and statistics for Wanikani

3

vivint-solutions. Rust

3

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

2

cakesupport. A Support website using cakePHP

1
18
Apply