sis-berkeley-edu / calcentralLinks
☆14Updated 4 years ago
Alternatives and similar repositories for calcentral
Users that are interested in calcentral are comparing it to the libraries listed below
Sorting:
- A backend for the CSUA interblags.☆23Updated last month
- CSM 61A Worksheets in Latex☆13Updated last month
- A central location for student-developed planning tools to access MIT course and requirements data.☆16Updated 6 months ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Updated 2 years ago
- embedding MLIR in LEAN☆48Updated last year
- Open Source Github Homepage for the Internet's Best Fermi Questions Practice Test☆49Updated last year
- A linearizability checker for concurrent data structures☆12Updated 2 years ago
- benchmarking e-graph extraction☆49Updated 7 months ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Updated 2 years ago
- library learning w egraphs☆21Updated 2 years ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Updated 5 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 6 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆109Updated 3 years ago
- ☆11Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆59Updated 10 months ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 11 months ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 2 weeks ago
- Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.☆179Updated 4 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆17Updated this week
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 3 months ago
- real time multiplayer quizbowl☆97Updated last month
- An LLVM interface for Lean 4. (WIP)☆26Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- ⏱ Counting down to the next time the bell rings at school☆26Updated 3 weeks ago
- Automatically generate a compiler using equality saturation☆34Updated last year
- ☆23Updated 2 years ago
- Online BDD Simulation Tool☆25Updated 5 months ago
- Seashell is an online environment for editing, running, and submitting C programming assignments.☆38Updated 3 years ago