Pinned Repositories
MercuryMixin
A processor to remap Mixins using Mercury.
dtt
dependent type theory experiment
GameAPI
:video_game: A minigame API that combines the Overcast Network & Mineplex game systems.
mars
Minimal programming language with type inference, structures, control flow, and more.
MinecraftMappings
Transitive Minecraft Mappings for 1.7.10 through 1.15.2 (Spigot <-> MCP <-> Yarn <-> Mojang)
minekraft
Kotlin Minecraft Client
o
Esoteric stack-oriented programming language for code golf
oot3dhax_installer
Second-degree Hax installer for 3DS
PhaseBot
Stand-alone Minecraft bot with a turing complete scripting language (MC 1.8)
sbhs
Sonic Battle Hack Suite - GUI program for reverse engineering & patching Sonic Battle for the GBA.
phase's Repositories
phase/mars
Minimal programming language with type inference, structures, control flow, and more.
phase/asmifier
Web interface for ASMifier
phase/lambda
Untyped Lambda Calculus Interpreter
phase/c3docs
phase/Citizens2
Citizens Recoded and Reborn
phase/CS200
NAU CS 200 - Introduction to Computer Organization
phase/dotfiles
Everyone has them, so why don't I?
phase/everest
phase/file-upload
minimal file sharing site - self hosted
phase/ForgedCarpet112
A port of the carpetmod112 (https://github.com/gnembon/carpetmod112) to forge!
phase/hacktoberfest
I want a t-shirt.
phase/hashmap_core
Implementation of HashMap and HashSet for no_std environments
phase/hugo-test-phase
phase/image-png
PNG decoding and encoding library in pure Rust
phase/learning-coq
Test documents while learning how to use Coq
phase/phast
Minecraft Server Implementation written in Rust, supporting Java Edition & Bedrock Edition
phase/Srg2Source
Apply .srg transformation class/field/method mapping to Java source code, used for automatically remapping CraftBukkit
phase/twilightforest
Twilight Forest repository
phase/kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
phase/libui-rs
Rust bindings to the minimalist, native, cross-platform UI toolkit `libui`
phase/MagiBridge
A Discord <-> Minecraft chat relay plugin
phase/nebulet
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
phase/pikelet
(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.
phase/pld-wiki
The programming language design wiki.
phase/pokerus
Tool for modifying Pokemon GBA ROMs and decompilations
phase/proglangdesign.github.io
A website for the #proglangdesign community on freenode
phase/ProtocolSupport
Support 1.12, 1.11, 1.10.*, 1.9.*, 1.8.*, 1.7.*, 1.6.*, 1.5.*, 1.4.7 on spigot 1.13
phase/sbrx
Sonic Battle Sprite Editor written in Rust
phase/venus
Kernel in Rust
phase/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.