-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 1, 2025 -
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
Lean Apache License 2.0 UpdatedMay 29, 2025 -
verso Public
Forked from leanprover/versoLean documentation authoring tool
Lean Apache License 2.0 UpdatedMay 19, 2025 -
-
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedFeb 5, 2025 -
lean-tables Public
A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).
-
lean4-autograder-main Public
Forked from robertylewis/lean4-autograder-mainLean UpdatedFeb 3, 2024 -
-
-
cloud-sml Public
Minimal platform for editing and running Standard ML using SML/NJ on a Docker image.
TypeScript UpdatedDec 4, 2023 -
-
CS22-Lean-2023 Public
Forked from brown-cs22/CS22-Lean-2023Lean course materials for Brown CS 22, Spring 2023
Lean UpdatedApr 7, 2023 -
voter Public
A simple Node JS web-app for conducting elections using instant-runoff voting.
JavaScript UpdatedDec 10, 2022 -
-
fpv_final_project Public
Final project for CSCI 1951X: Formal Proof and Verification at Brown University
Lean UpdatedDec 21, 2021 -
Caffeinator Public
A compact yet versatile menu-bar app for keeping your Mac awake.
-
CaffeineKit Public
A library for keeping Macs awake.
-
peer-chat Public
A (sample) React-based peer-to-peer chat application that demonstrates front-end web technologies and principles.
-
15112_term_project Public
A spreadsheet application built as a term project for 15-112 at Carnegie Mellon University.
Python UpdatedJun 19, 2021 -
MIRAGE Public
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 fe…
Python UpdatedMay 23, 2021 -
NookFileBrowser Public
A rudimentary file browser for the Nook GlowLight Plus built with SwiftUI.
-
hw_timer_pythonista Public
A Pythonista script for timing amount of time spent on homework (or anything else, really).
Python UpdatedMay 21, 2021 -
-
peppered-moth-demo Public
A simplified interactive demonstration of peppered moth evolution.
JavaScript UpdatedMay 21, 2021 -
mendelian-inheritance-demo Public
A simple activity for exploring Mendelian inheritance of a single trait.
JavaScript UpdatedMay 21, 2021 -
ev3web-client Public archive
This is the Java client for leJOS EV3 that communicates with EV3 Web Server.
Java UpdatedMay 21, 2021 -
ev3web-server Public archive
The Node.js server that powers a web interface for controlling the Lego Mindstorms EV3 robot. Use in conjunction with EV3 Web Client.
HTML UpdatedMay 21, 2021
{{ message }}