James-Oswald
Computer Science PhD student @RPI. Researcher at the @RAIRLab.
@RAIRLabTroy, New York, USA
James-Oswald's Stars
armedbear/abcl
Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge
luizdepra/hugo-coder
A minimalist blog theme for hugo.
Brandon-Rozek/TPTP-Examples
Example axiom and problem files within the TPTP Format
godotengine/godot
Godot Engine – Multi-platform 2D and 3D game engine
leoprover/Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
tatsu-lab/stanford_alpaca
Code and documentation to train Stanford's Alpaca models, and generate the data.
eprover/eprover
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Cyan4973/xxHash
Extremely fast non-cryptographic hash algorithm
fpvandoorn/lean-links
Links to recourses for the Lean Theorem Prover
glfw/glfw
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
jesse-michael-han/lean-gptf
Interactive neural theorem proving in Lean
hanabi1224/Programming-Language-Benchmarks
Yet another implementation of computer language benchmarks game
open-source-parsers/jsoncpp
A C++ library for interacting with JSON.
zenorogue/hyperrogue
A SDL roguelike in a non-euclidean world
RAIRLab/logic-group
Website listing the talks given in the logic group
metamath/set.mm
Metamath source file for logic and set theory
mnets/pymnet
The original library for analyzing multilayer networks.
lcswillems/rl-starter-files
RL starter files in order to immediately train, visualize and evaluate an agent without writing any line of code
coq-contribs/coq-in-coq
A formalisation of the Calculus of Constructions
coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
pcottle/learnGitBranching
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
gml16/rl-medical
Communicative Multiagent Deep Reinforcement Learning for Anatomical Landmark Detection using PyTorch.
Uberi/speech_recognition
Speech recognition module for Python, supporting several engines and APIs, online and offline.
CompVis/stable-diffusion
A latent text-to-image diffusion model
JUrban/deepmath
deep learning for math
mirefek/HolStep-Tree
artyom-beilis/dlprimitives
Deep Learning Primitives and Mini-Framework for OpenCL
wbridewell/arcadia
The ARCADIA framework is for developing integrated, intelligent systems. This distribution includes several models and the components, sensors, etc. required to run them.
numpy/numpy
The fundamental package for scientific computing with Python.