Pinned Repositories
AlexanderCoreAPI
AllOfAlex
All of my mods combined
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
AoC2018
aoc2020
aoc_2022
aoc_2023
Advent of Code 2023
LotsOfPearls
Adds a bunch of pearls. What else did you expect?
vercors
The VerCors verification toolset for verifying parallel and concurrent software
superaxander's Repositories
superaxander/LotsOfPearls
Adds a bunch of pearls. What else did you expect?
superaxander/AllOfAlex
All of my mods combined
superaxander/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
superaxander/AoC2018
superaxander/aoc2020
superaxander/aoc_2021
superaxander/aoc_2022
superaxander/aoc_2023
Advent of Code 2023
superaxander/Auraddons
An addon mod for Ellpeck's Nature's Aura Minecraft mod
superaxander/API
The API of the game Rock Bottom
superaxander/CheatingIsEasy
A mod for cheating. What did you expect?
superaxander/DownwardsForce
superaxander/EAGLE-AD1955ARSZ
A simple eagle library file for the Anolog Devices ADS1955ARSZ
superaxander/FlyingItems
Shoot items in all directions
superaxander/GeneralPurposeProcessor
superaxander/GeneralPurposeProcessorAPI
superaxander/GeneralPurposeProcessorCoreAPI
superaxander/GeneralPurposeProcessorLauncher
superaxander/Gradle
A repository for various gradle-related items like the Modding buildscript
superaxander/gradle-hot-swap
Hot Swap functionality to Gradle projects in Eclipse and IntelliJ
superaxander/Inspector
superaxander/Modding
A gradle modding setup with an example mod to be used for modding Rock Bottom
superaxander/PlentyOfFoliage
Making the surface of RockBottom more interesting
superaxander/RBCustomize
superaxander/RockBottomConnector
Connect RB to Discord and IRC
superaxander/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
superaxander/TeleportingPearls
The first RockBottom mod! REWRITE CAN BE FOUND HERE:
superaxander/Temp
Temporary repo
superaxander/vercors
The VerCors verification toolset for verifying parallel and concurrent software
superaxander/vercors-web