Pinned Repositories
FourierTS
Fourier Transform calculator written in TypeScript
lambda-react
Interactive lambda calculus interpreter built with Typescript and React
MathVisualizer
Parametric & differential equation plotter
p5-display
A library of controllable React components for p5.js sketches.
plotter2
Vector field plotter for React and Canvas
raffa_gen
My attempt to make fast-rendering generative art in Rust. Also just a playground project for me to learn about 2D graphics.
swing-fullscreen-macos
Simple Java library that allows for full screen AWT/Swing applications using macOS's native fullscreen feature.
rtlevy's Repositories
rtlevy/swing-fullscreen-macos
Simple Java library that allows for full screen AWT/Swing applications using macOS's native fullscreen feature.
rtlevy/p5-display
A library of controllable React components for p5.js sketches.
rtlevy/FourierTS
Fourier Transform calculator written in TypeScript
rtlevy/lambda-react
Interactive lambda calculus interpreter built with Typescript and React
rtlevy/MathVisualizer
Parametric & differential equation plotter
rtlevy/plotter2
Vector field plotter for React and Canvas
rtlevy/raffa_gen
My attempt to make fast-rendering generative art in Rust. Also just a playground project for me to learn about 2D graphics.
rtlevy/Allominecy
Allomancy in minecraft
rtlevy/G2
rtlevy/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
rtlevy/lexpr-rs
Rust Lisp expression parser and serializer
rtlevy/LlamaBlockHunt
rtlevy/LlamaGraphics
Basic Java graphics library
rtlevy/LlamaPerm
rtlevy/math_parser
rtlevy/MathPlayGround
rtlevy/midi2
CS1 - My project for the MIDI assignment.
rtlevy/OpTools
rtlevy/RaffaLib
Library of Coq Theorems for Personal Use
rtlevy/Rect2
rtlevy/RockPaperScissors
rtlevy/SeniorInitiative
Programming work for my Senior Initiative project
rtlevy/SimpleVisualizer
Simple math visualizer library
rtlevy/UP-18-19
FTC Android Studio project to create FTC Robot Controller app.
rtlevy/UP2020
FTC Team 11453 - Uncertainty Principle's code for the 2019-20 season
rtlevy/UP_Tutorials
rtlevy/x_proofofconcept
rtlevy/x_proofofconcept_rendered