James-Oswald

James Oswald's repositories

IEEE-YT-Thumbnail-Generator

JS thumbnail generator for vids on the IEEE YT Channel. Deployed version on Github pages.

Language:JavaScript2 20

Functional-Programming-In-Lean

My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"

Language:Lean1 10

Lazycore

Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions

Language:Lean1 10

NoMalicons

A Chrome extension of my edits to MAL style code. Back to the good old days.

Language:JavaScript1 20

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:HTML020

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:C020

AniGraph

JS web application that displays graphical data, such as anime from each season, about a user’s anime list from MyAnimeList.net.

Language:JavaScript020

ars-logicae

WIP Formalization and relations of many types of logic in Lean4

Language:Lean000

Coq-In-A-Hurry

My work and solutions for Coq In a Hurry by Yves Bertot.

Language:Coq010

CSCI-6962-Projects-in-ML-AI

My work for CSCI-6962 at RPI Fall 2022

Language:Jupyter Notebook020

CSCI-6964-Graph-Mining

Coursework for CSCI-6964, Graph Mining, at RPI Spring 2022

Language:Python020

CTMT

010

DMC

Some textbook exercises from "Discrete Mathematics and Computation" in Lean4

Language:Lean010

EminenceProver

A theorem prover for proof-theoretic higher order modal logic

Language:C++01 1

first-order-modal-logic

Work in progress "First Order Modal Logic" textbook exercises.

Language:Lean000

Flow-Free-PDDL

Using Computer Vision and Automated Planning for solving the mobile game "Flow Free"

Language:PDDLMIT020

Fuzzy-DL

Formalizing ALC (and someday Fuzzy ALC) in Lean

Language:Lean020

insertion-sort

Formal Correctness Proof of Insertion Sort in Lean4

Language:Lean000

James-Oswald

My Github Profile

020

James-Oswald.github.io

020

jamesoswald.dev

My Latest Personal Website

Language:JavaScript02 2

linear_temporal_logic

Formalizing Linear Temporal Logic in Lean 3

Language:Lean010

NL2PDDL

Code and Data for the paper "Large Language Models as Planning Domain generators" accepted at ICAPS 2024

Language:PythonMIT000

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++020