James-Oswald/Lazycore

Stars
1
Language Lean
Created about 1 year ago
Updated about 1 year ago

James-Oswald/Lazycore

James-Oswald

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions

Lightweight-Textarea-Highlighter

Native JS library to allow you to highlight ranges within <textarea>s

Bindr-Backend

The backend for the Bindr concurrent and secure notepad application developed by Team 7 for ICSI 499

Lightweight-Jar-To-Exe

Lightweight Windows .jar to .exe converter using a Node.js script.

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.

Windows10-Add-Startup-Sound

A .jar that plays a random windows startup sound from one of eight legacy windows versions.

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.

IEEE-YT-Thumbnail-Generator

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

Graduation-Cap

The janky arduino code for my mortarboard hat at the SUNY Albany 2021 Commencement Ceremony.

IEEE-Professional-Development-Night

A collection of programs written for the UAlbany IEEE Professional Development Night

V5-MIPS-Assembler-Emulator

A custom MIPS Emulator, Assembler, and Linker. Support for about half of the instructions. Written in C++, interfaces with Java for the GUI via the java native interface. Created during winter break, December 2018

MandleSaver

A GPU accelerated mandelbrot screensaver developed for my work machine

NoMalicons

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

CComprehension

A header only comprehension library for C arrays and C++ containers.

IEEE-Workshop-Neural-Networks-with-Tensorflow

Demo code for a tensorflow workshop I hosted for the UAlbany IEEE

Functional-Programming-In-Lean

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

Lua-Console-Grapher

A small ASCII console graphing application I developed in Lua during August 2017

Conti-Dust

An abandoned online rework of Christopher Domas's ..cantor.dust.., A binary visualization tool for reverse engineering.

OzOs

My own custom operating system built from the ground up.