Block or Report
Block or report jrr6
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
lean-tables
lean-tables PublicA dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).
Lean
-
15112_term_project
15112_term_project PublicA spreadsheet application built as a term project for 15-112 at Carnegie Mellon University.
Python
-
Caffeinator
Caffeinator PublicA compact yet versatile menu-bar app for keeping your Mac awake.
Swift 16
-
cloud-sml
cloud-sml PublicMinimal platform for editing and running Standard ML using SML/NJ on a Docker image.
TypeScript
-
-
fpv_final_project
fpv_final_project PublicFinal project for CSCI 1951X: Formal Proof and Verification at Brown University
Lean
If the problem persists, check the GitHub status page or contact support.