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/sbhs
Sonic Battle Hack Suite - GUI program for reverse engineering & patching Sonic Battle for the GBA.
phase/canary-dump
Dump of the CanaryMod mods previously hosted on the site
phase/bedrock-proxy
Velocity plugin that creates a Minecraft Bedrock Edition server and translates the packets. (WIP)
phase/music-app
Flutter Music App
phase/f3
Another language
phase/lambda
Untyped Lambda Calculus Interpreter
phase/music-server
Kotlin Music Server
phase/udp-test
Testing MCBE UDP Connections w/ Rust
phase/blog
phase/dotfiles
Everyone has them, so why don't I?
phase/gui-filechooser-windows-rust-test
Testing out a GUI with a FileChooser for Windows using Rust (Conrod & nfd)
phase/hacktoberfest
I want a t-shirt.
phase/jdbi
jdbi is designed to provide convenient tabular data access in Java; including templated SQL, parameterized and strongly typed queries, and Streams integration
phase/learning-coq
Test documents while learning how to use Coq
phase/Network
Network components
phase/Ore
Repository software for Sponge plugins and Forge mods
phase/pr-fairy
PokeRuby with the Fairy Type
phase/snake-gba-rust
phase/SpongeAuth
An authentication portal for shared user accounts between Sponge services.
phase/SpongeDownloads
The downloads page for the Sponge project
phase/SpongeGradle
Handy gradle utilities for the various gradle projects of SpongePowered
phase/ssf2_modloader
DAT Decompressor & Compressor for Super Smash Flash 2 v1.1.0.1 beta
phase/STS
phase/velocity
A next-generation Minecraft: Java Edition proxy suite.
phase/waterbird
Test Elixir Repo
phase/LibsDisguises
Minecraft disguise plugin
phase/pikelet
(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.
phase/porymap
Map editor for pokeruby and pokeemerald
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