James Oswald's Projects
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.
Some textbook exercises from "Discrete Mathematics and Computation" 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
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"
Formalizing ALC (and someday Fuzzy ALC) in Lean
The janky arduino code for my mortarboard hat at the SUNY Albany 2021 Commencement Ceremony.
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.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent