Pinned Repositories
15112_term_project
A spreadsheet application built as a term project for 15-112 at Carnegie Mellon University.
Caffeinator
A compact yet versatile menu-bar app for keeping your Mac awake.
CaffeineKit
A library for keeping Macs awake.
cloud-sml
Minimal platform for editing and running Standard ML using SML/NJ on a Docker image.
fpv_final_project
Final project for CSCI 1951X: Formal Proof and Verification at Brown University
lean-tables
A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).
NookFileBrowser
A rudimentary file browser for the Nook GlowLight Plus built with SwiftUI.
RooSwerve
Team 4373's swerve drive library.
jrr6's Repositories
jrr6/Caffeinator
A compact yet versatile menu-bar app for keeping your Mac awake.
jrr6/CaffeineKit
A library for keeping Macs awake.
jrr6/NookFileBrowser
A rudimentary file browser for the Nook GlowLight Plus built with SwiftUI.
jrr6/15112_term_project
A spreadsheet application built as a term project for 15-112 at Carnegie Mellon University.
jrr6/browncs1260-final-benchmarks
jrr6/cloud-sml
Minimal platform for editing and running Standard ML using SML/NJ on a Docker image.
jrr6/fpv_final_project
Final project for CSCI 1951X: Formal Proof and Verification at Brown University
jrr6/lean-tables
A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).
jrr6/voter
A simple Node JS web-app for conducting elections using instant-runoff voting.
jrr6/CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
jrr6/deepham
Applying reinforcement learning to HAMPATH.
jrr6/ev3web-client
This is the Java client for leJOS EV3 that communicates with EV3 Web Server.
jrr6/ev3web-server
The Node.js server that powers a web interface for controlling the Lego Mindstorms EV3 robot. Use in conjunction with EV3 Web Client.
jrr6/fpv2023
jrr6/hw_timer_pythonista
A Pythonista script for timing amount of time spent on homework (or anything else, really).
jrr6/lean4-autograder-main
jrr6/lean4_autograder
jrr6/mendelian-inheritance-demo
A simple activity for exploring Mendelian inheritance of a single trait.
jrr6/MIRAGE
The winning project at Carnegie Mellon University's 2020 Hack112 hackathon, MIRAGE generates music with the MIDI contours of a given photograph, with tonality and tempo determined by the image's features.
jrr6/peer-chat
A (sample) React-based peer-to-peer chat application that demonstrates front-end web technologies and principles.
jrr6/peppered-moth-demo
A simplified interactive demonstration of peppered moth evolution.
jrr6/primecalc
A simple WASM/JS prime number calculator.