James Oswald's Projects
An exploration of the .lnd file format used by Upperspace 3D Landscape for flyff world files.
Maybe A Vulkan Game Engine
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.
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.
Discrete Mathematics and Computation Exercises in Lean4
A theorem prover for proof-theoretic higher order modal logic
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
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"
Formalizing ALC (and someday Fuzzy ALC) in Lean