-
-
cs7480-categories-for-pl Public
Forked from john-ml/cs7480-categories-for-plTeX UpdatedFeb 25, 2026 -
polarity-focusing-notes Public
Forked from chrisamaphone/polarity-focusing-notesCourse notes for CS 7480 Polarity and Focusing at Northeastern.
TeX UpdatedNov 19, 2025 -
lean-tables Public
A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJul 31, 2025 -
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
Lean Apache License 2.0 UpdatedJul 31, 2025 -
-
verso Public
Forked from leanprover/versoLean documentation authoring tool
JavaScript Apache License 2.0 UpdatedJul 31, 2025 -
lean-guard-msgs-updater Public
Script for updating "run" test outputs in Lean.
Lean UpdatedJul 22, 2025 -
-
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedFeb 5, 2025 -
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
{{ message }}