phase

dtt

experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust

Enigma

This is a fork of https://bitbucket.org/cuchaz/enigma/src

electoral-systems

Experimental simulations of different electoral systems

1.16-to-1.17

Diff between Minecraft 1.16.5 & 1.17-pre1 using Mojang mappings

ambrosia

(WIP) Minimal example of implementing a language with Rust and MLIR

alef

Library for creating mappings from existing ones for different versions

1.15.2-to-1.16

source patches from Minecraft 1.15.2 to 20w28a

1.16.3-to-1.16.4

Diff between Minecraft 1.16.3 & 1.16.4 using Mojang mappings

21w08b-to-21w10a

Diff between Minecraft 21w08b & 21w10a using Mojang mappings

21w18a_to_21w19a

fastflyblockbreak

https://github.com/Barteks2x/FastFlyBlockBreaking updated to 1.16.1

everest

fabricflower

Fabric's fork of FernFlower, copied because GitHub can't search forks

file-upload

minimal file sharing site - self hosted

Mercury

A source transformation and -remapping framework for Java.

MercuryMixin

A processor to remap Mixins using Mercury.

Mixin

Mixin is a trait/mixin and bytecode weaving framework for Java using ASM

modfest.github.io

ModFest's website

SrgLib

A java library for handling srg files and mappings

yarn

Libre Minecraft mappings, free to use for everyone. No exceptions.

CS480

CS 480 - Operating Systems

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

libui-rs

Rust bindings to the minimalist, native, cross-platform UI toolkit `libui`

Matcher

Tool for tracking elements in obfuscated Java archives across releases

ore-build

ORE Build 1.7.9 map

pld-wiki

The programming language design wiki.

pokerus

Tool for modifying Pokemon GBA ROMs and decompilations

proglangdesign.github.io

A website for the #proglangdesign community on freenode

ReplayMod

Minecraft ReplayMod

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.