jrr6

Caffeinator

A compact yet versatile menu-bar app for keeping your Mac awake.

CaffeineKit

A library for keeping Macs awake.

NookFileBrowser

A rudimentary file browser for the Nook GlowLight Plus built with SwiftUI.

15112_term_project

A spreadsheet application built as a term project for 15-112 at Carnegie Mellon University.

browncs1260-final-benchmarks

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).

voter

A simple Node JS web-app for conducting elections using instant-runoff voting.

CS22-Lean-2023

Lean course materials for Brown CS 22, Spring 2023

deepham

Applying reinforcement learning to HAMPATH.

ev3web-client

This is the Java client for leJOS EV3 that communicates with EV3 Web Server.

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.

fpv2023

hw_timer_pythonista

A Pythonista script for timing amount of time spent on homework (or anything else, really).

lean4-autograder-main

lean4_autograder

mendelian-inheritance-demo

A simple activity for exploring Mendelian inheritance of a single trait.

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.

peer-chat

A (sample) React-based peer-to-peer chat application that demonstrates front-end web technologies and principles.

peppered-moth-demo

A simplified interactive demonstration of peppered moth evolution.

primecalc

A simple WASM/JS prime number calculator.