James Oswald's Projects
Mirror of Google Deepmind's alphaproof results on the 2024 IMO
JS web application that displays graphical data, such as anime from each season, about a userβs anime list from MyAnimeList.net.
My Performance Task from my APCSP class in high school. The project is a proof of concept abstract art application combining 3D visuals and sounds using 3js.
WIP Formalization and relations of many types of logic in Lean4
A sample portfolio made with express to be hosted on AWS
The backend for the Bindr concurrent and secure notepad application developed by Team 7 for ICSI 499
Informational Static Desktop Site for the DND group Bleeding History. Made for a Friend Spring 2020
A collection of scripts for byte digraph data processing. Includes a BDM and PDDM converter, training data generator, and a CNN for identifying data types based on DMs.
A header only comprehension library for C arrays and C++ containers.
My attempt at a formula for all possible connect 4 locations on an arbitrary board size with an arbitrary amount of tiles to connect
An abandoned online rework of Christopher Domas's ..cantor.dust.., A binary visualization tool for reverse engineering.
My work and solutions for Coq In a Hurry by Yves Bertot.
Coursework for CSCI-6360 Parallel Computing at RPI, Spring 2022
My work for CSCI-6962 at RPI Fall 2022
Coursework for CSCI-6964, Graph Mining, at RPI Spring 2022
Playing around with NVIDIA CUDA
A unfinished snapshot of my Honors Programming Final Project, The game, Deal or no deal. Developed June 2016.
WIP Geo-spatial reasoning dataset collector app
Some textbook exercises from "Discrete Mathematics and Computation" in Lean4
Proof of concept embedding snark into a java jar with abcl
A proof of concept for a theorem prover for DCEC reasoning
A game in Java made on my custom 3D game engine. Made with LWJGL, OpenGL, glfw, and JOML. This Project was made back in 2017 as my final project for my AP Java class.
A Twitter bot that uses the Twitter API and cron to post an image everyday.
An informational website and pull simulator of the popular mobile game Fate Grand Order. Made for a friend, Spring 2020
A recreation of my FGO simulator website in python
Work in progress "First Order Modal Logic" textbook exercises.
Using Computer Vision and Automated Planning for solving the mobile game "Flow Free"
My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"