Pinned Loading
-
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 17
-
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
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.