rtlevy Goto Github PK
Name: Rachel Levy
Type: User
Bio: Student from NYC
Location: New York
Blog: rachel.levity.com
Rachel Levy's Projects
allominecy
Allomancy in minecraft
fourierts
Fourier Transform calculator written in TypeScript
g2
interactiontrees
A Library for Representing Recursive and Impure Programs in Coq
lambda-react
Interactive lambda calculus interpreter built with Typescript and React
lexpr-rs
Rust Lisp expression parser and serializer
llamablockhunt
llamagraphics
Basic Java graphics library
llamaperm
math_parser
mathplayground
mathvisualizer
Parametric & differential equation plotter
midi2
CS1 - My project for the MIDI assignment.
optools
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.
raffalib
Library of Coq Theorems for Personal Use
rect2
rockpaperscissors
seniorinitiative
Programming work for my Senior Initiative project
simplevisualizer
Simple math visualizer library
swing-fullscreen-macos
Simple Java library that allows for full screen AWT/Swing applications using macOS's native fullscreen feature.
up-18-19
FTC Android Studio project to create FTC Robot Controller app.
up2020
FTC Team 11453 - Uncertainty Principle's code for the 2019-20 season
up_tutorials
x_proofofconcept
x_proofofconcept_rendered
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.