James-Oswald
Computer Science PhD student @RPI. Researcher at the @RAIRLab.
@RAIRLabTroy, New York, USA
James-Oswald's Stars
adamyedidia/parsimony
Godlander/objmc
A tool to bypass Minecraft Java Edition model limits by baking vertex data into texture.
KaptainWutax/Kaktoos
CUDA program to find the tallest possible cacti in Minecraft.
gijsdev/ublock-hide-yt-shorts
uBlock Origin filter list to hide YouTube Shorts
boostorg/json
A C++11 library for parsing and serializing JSON to and from a DOM container in memory.
symcollab/CryptoSolve
Moved to https://github.com/CryptoSolvers/CryptoSolve
AthenaFoundation/athena
Athena is a modern, practical language for proof engineering & natural deduction.
Johnnykoch02/MicrogradPlus
MicrogradPlus is an educational project aiming to provide a simple, yet extensible, NumPy-based automatic differentiation library.
seL4/seL4
The seL4 microkernel
seL4/isabelle
git mirror of the Munich isabelle hg repository
tomsilver/pddlgym
Convert a PDDL domain into an OpenAI Gym environment.
DavidNHill/JSMinesweeper
Minesweeper player, solver and analyser in javascript
electron/electron
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
garbeam/dwm
borisdayma/dalle-mini
DALL·E Mini - Generate images from a text prompt
saadeghi/theme-change
Change CSS theme with toggle, buttons or select using CSS custom properties and localStorage
NBprojekt/gource-action
🎉 Action to visualize your source code using gource.
w3c/manifest-app-info
Web App Manifest - Application Information
WayofTime/BloodMagic
The place where all of my mod stuffs is!
RAIRLab/VirtualSlate
VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
godotengine/godot-cpp
C++ bindings for the Godot script API
containers/podman
Podman: A tool for managing OCI containers and pods.
niXman/mingw-builds-binaries
MinGW-W64 compiler binaries
uiua-lang/uiua
A stack-based array programming language
RAIRLab/Spectra
The Spectra Automated Planner for DCEC built on ShadowProver
gorhill/uBlock
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
Prakash4844/Get-Pair-Extraordinaire
This Repo helps user Unlock the "Pair Extraordinaire" Achievement.
peaceiris/actions-gh-pages
GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.
jakejarvis/lighthouse-action
💡🏠 GitHub Action for running @GoogleChromeLabs Lighthouse webpage audits
vitejs/vite
Next generation frontend tooling. It's fast!