James-Oswald

Computer Science PhD student @RPI. Researcher at the @RAIRLab.

@RAIRLabTroy, New York, USA

Pinned Repositories

NL2PDDL
this is for fun, ain't it grand!
Language:Python12 7 02
Bindr-Backend
The backend for the Bindr concurrent and secure notepad application developed by Team 7 for ICSI 499
Language:JavaScript4 2 00
Direction-Guesser
Geo-spatial reasoning dataset collector app
Language:Dart3 0 130
HelloOs
This simple bare bones OS is based off the OS developed from the OSDev Wiki Bare Bones Tutorial. The project was developed live at the third UAlbany IEEE OS development workshop to demonstrate the process and code for getting a simple "hello world" OS off the ground.
Language:Assembly2 3 01
IEEE-YT-Thumbnail-Generator
JS thumbnail generator for vids on the UA IEEE YT Channel. Deployed version on Github pages.
Language:JavaScript2 2 00
Lightweight-Jar-To-Exe
Lightweight Windows .jar to .exe converter using a Node.js script.
Language:C3 2 00
Lightweight-Textarea-Highlighter
Minimalist JS library to allow you to highlight ranges within <textarea>s
Language:JavaScript6 3 02
lazyslate
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
Language:TypeScript16 2 90
Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
Language:C++3 2 20
Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
Language:TypeScript11 1 1550

James-Oswald's Repositories

James-Oswald/Lightweight-Textarea-Highlighter
Minimalist JS library to allow you to highlight ranges within <textarea>s
Language:JavaScript6 3 02
James-Oswald/Direction-Guesser
Geo-spatial reasoning dataset collector app
Language:Dart3 0 130
James-Oswald/alphaproof-outputs-mirror
Mirror of Google Deepmind's alphaproof results on the 2024 IMO
Language:Lean11
James-Oswald/Functional-Programming-In-Lean
My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
Language:Lean1 1 01
James-Oswald/Lazycore
Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
Language:Lean1 1 0
James-Oswald/linear-temporal-logic
A mini-formalization of Linear Temporal Logic in Lean 3
Language:Lean1
James-Oswald/NoMalicons
A Chrome extension of my edits to MAL style code. Back to the good old days.
Language:JavaScript1 2 0
James-Oswald/PI-Day-2018-Fourier-Transformation
An application developed for my high school's 2018 PI day contest. A web app for visualizing the process of Fourier transformations.
Language:HTML0 2 00
James-Oswald/SIA-Explorer
An assembler and virtual machine for the SIA instruction set taught at UAlbany. Ported from C to the Web using Web Assembly via Emscripten, JavaScript, and HTML.
Language:C0 2 00
James-Oswald/Advent-Of-Code-2024
My Lean4 Advent of Code 2024 solutions
Language:Lean
James-Oswald/AniGraph
JS web application that displays graphical data, such as anime from each season, about a user’s anime list from MyAnimeList.net.
Language:JavaScript2 0
James-Oswald/ars-logicae
WIP Formalization and relations of many types of logic in Lean4
Language:Lean1 0
James-Oswald/DMC
Some textbook exercises from "Discrete Mathematics and Computation" in Lean4
Language:Lean1 0
James-Oswald/Eminence-Prover-concept
A proof of concept for a theorem prover for DCEC reasoning
Language:C++1 1
James-Oswald/first-order-modal-logic
Work in progress "First Order Modal Logic" textbook exercises.
Language:Lean1 0
James-Oswald/Flow-Free-PDDL
Using Computer Vision and Automated Planning for solving the mobile game "Flow Free"
Language:PDDL2 0
James-Oswald/insertion-sort
Formal Correctness Proof of Insertion Sort in Lean4
Language:Lean1 0
James-Oswald/Jai-Simp-and-Embed
Simple example of embedding Simp textures at compile time
1 0
James-Oswald/James-Oswald
My Github Profile
2 0
James-Oswald/jamesoswald.dev
Personal Website
Language:JavaScript2 2
James-Oswald/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0
James-Oswald/NL2PDDL
Code and Data for the paper "Large Language Models as Planning Domain generators" accepted at ICAPS 2024
Language:Python0 0
James-Oswald/oz-dwm
My fork of suckless' dynamic window manager
Language:C1 0
James-Oswald/oz-slstatus
My fork of slstatus
Language:C1 0
James-Oswald/PMH-Gamma
WIP Gamma Existential Graph Theorem Prover. RCOS Fall 2024 Project
Language:C++1 0
James-Oswald/RAIR-Bingo
Updated simple bingo web app for the RAIR Lab.
Language:JavaScript2 0
James-Oswald/random-walks
Messing around with random walks and pillow
Language:Jupyter Notebook1 0
James-Oswald/Relevant-Logic-Lean
Basic Model theory & Proof theory & Soundness Proof for the Relevance Logic B
Language:Lean
James-Oswald/SatisfactoryMST
Script for finding and plotting minimum spanning trees on the satisfactory resource node map
Language:Python
James-Oswald/Sombra.jar
One of my first Java GUI Applications. Displays A Sombra themed window. Made October 2016.
Language:Java2 0