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.☆22Updated 3 months ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Updated last year
- ☆11Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Updated 2 years ago
- Online BDD Simulation Tool☆21Updated 3 months ago
- CSM 61A Worksheets in Latex☆13Updated last week
- ☆24Updated 2 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 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated last month
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 8 months ago
- Automatically generate a compiler using equality saturation☆34Updated last year
- benchmarking e-graph extraction☆46Updated 5 months ago
- ☆16Updated 3 years ago
- Unofficial Client for Piazza's Internal API☆204Updated 3 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- embedding MLIR in LEAN☆48Updated last year
- library learning w egraphs☆21Updated 2 years ago
- Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.☆180Updated 4 years ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆17Updated 4 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 4 months ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Updated 3 months ago
- 99 problems, but a driver ain't one. (Push code, not buggies)☆26Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 7 months ago
- Kotlin Robot and Vision Code for FRC Team 401's 2018 Robot☆11Updated 7 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆14Updated last week
- A linearizability checker for concurrent data structures☆12Updated 2 years ago
- egraphs-good website☆18Updated last year
- Website for CS 265☆30Updated 10 months ago
- Port of WPILib (https://github.com/wpilibsuite/allwpilib) to Rust☆28Updated 8 years ago