James-Oswald
Computer Science PhD student @RPI. Researcher at the @RAIRLab.
@RAIRLabTroy, New York, USA
James-Oswald's Stars
MinecraftForge/MinecraftForge
Modifications to the Minecraft base files to assist in compatibility between mods. New Discord: https://discord.minecraftforge.net/
google-research/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
PaperMC/Folia
Fork of Paper which adds regionised multithreading to the dedicated server.
riscv-collab/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC
AppliedEnergistics/Applied-Energistics-2
A Minecraft Mod about Matter, Energy and using them to conquer the world..
gijsdev/ublock-hide-yt-shorts
uBlock Origin filter list to hide YouTube Shorts
xu-cheng/latex-action
:octocat: GitHub Action to compile LaTeX documents
GTNewHorizons/GT-New-Horizons-Modpack
New Modpack with Gregtech, Thaumcraft and Witchery
MCRcortex/nvidium
Fast minecraft rendering backend for sodium (nvidia only)
Godlander/objmc
A tool to bypass Minecraft Java Edition model limits by baking vertex data into texture.
adamyedidia/parsimony
leanprover/elan
The Lean version manager
stravant/LuaMinify
Lua source code minifier.
GTNewHorizons/Angelica
OptiFine replacement for 1.7.10
leanprover/std4
Standard Library for Lean 4
neoforged/MDK
The Mod Developer Kit - this is where you start if you want to develop a new mod
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
mit-plv/riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
lorddusk/HQM
Hardcore Questing Mode
S4mpsa/NIDAS
Networked Information Display & Automation Software
iehality/lean4-logic
Lean4 Logic Formalization
codeplea/hexembed
A small utility to embed files into C or C++ programs.
KaptainWutax/Kaktoos
CUDA program to find the tallest possible cacti in Minecraft.
berickcook/AIRIS_Public
AIRIS Public Release
patham9/NACE
Non-Axiomatic Causal Explorer
ipc2023-classical/domain-rubiks-cube
michaelpaglia/image-augmentation
Small Python program to test image classification accuracy based on various data augmentation methods. Uses CIFAR10 data set.
RAIRLab/EG-Theorem-Proving-in-PMH
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
uds-psl/coq-posts-theorem
RAIRLab/Publications
RAIR Lab Publication List