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:Python92
Bindr-Backend
The backend for the Bindr concurrent and secure notepad application developed by Team 7 for ICSI 499
Language:JavaScript4 2 00
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 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
Native JS library to allow you to highlight ranges within <textarea>s
Language:JavaScript5 2 02
UAlbany-KDD-Cup-HW-Examples
The homework and its solutions that I assigned for the UAlbany 2021 KDD cup team to get them familiar with TensorFlow.
Language:Python2 2 01
lazyslate
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
Language:TypeScript3 2 80
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:TypeScript8 1 1540

James-Oswald's Repositories

James-Oswald/IEEE-YT-Thumbnail-Generator
JS thumbnail generator for vids on the IEEE YT Channel. Deployed version on Github pages.
Language:JavaScript2 2 00
James-Oswald/Functional-Programming-In-Lean
My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
Language:Lean1 1 0
James-Oswald/Lazycore
Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
Language:Lean1 1 0
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/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:Lean
James-Oswald/Coq-In-A-Hurry
My work and solutions for Coq In a Hurry by Yves Bertot.
Language:Coq1 0
James-Oswald/CSCI-6964-Graph-Mining
Coursework for CSCI-6964, Graph Mining, at RPI Spring 2022
Language:Python2 0
James-Oswald/CTMT
1 0
James-Oswald/DMC
Some textbook exercises from "Discrete Mathematics and Computation" in Lean4
Language:Lean1 0
James-Oswald/EminenceProver
A theorem prover for proof-theoretic higher order modal logic
Language:C++1 1
James-Oswald/first-order-modal-logic
Work in progress "First Order Modal Logic" textbook exercises.
Language:Lean
James-Oswald/Flow-Free-PDDL
Using Computer Vision and Automated Planning for solving the mobile game "Flow Free"
Language:PDDL2 0
James-Oswald/Fuzzy-DL
Formalizing ALC (and someday Fuzzy ALC) in Lean
Language:Lean2 0
James-Oswald/insertion-sort
Formal Correctness Proof of Insertion Sort in Lean4
Language:Lean
James-Oswald/Jai-Simp-and-Embed
Simple example of embedding Simp textures at compile time
James-Oswald/James-Oswald
My Github Profile
2 0
James-Oswald/James-Oswald.github.io
James-Oswald.github.io
2 0
James-Oswald/jamesoswald.dev
My Latest Personal Website
Language:JavaScript2 2
James-Oswald/linear_temporal_logic
Formalizing Linear Temporal Logic in Lean 3
Language:Lean1 0
James-Oswald/NL2PDDL
Code and Data for the paper "Large Language Models as Planning Domain generators" accepted at ICAPS 2024
Language:Python
James-Oswald/Overhead
A custom video players written with libavcodec and OpenGL with libpulseaudio for sound. Was originally supposed to be the base for an interactive home statistics display system.
Language:C++2 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/Ozrens.com
The Oswald Family Website
2 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/Sombra.jar
One of my first Java GUI Applications. Displays A Sombra themed window. Made October 2016.
Language:Java2 0