Alternatives and similar repositories for calcentral

Users that are interested in calcentral are comparing it to the libraries listed below

• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆22Updated last month
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated last month
• csmberkeley / csm-61a
  CSM 61A Worksheets in Latex
  ☆13Updated last week
• necavit / li-sat-solver
  A basic SAT solver implementation for the Logics in Informatics course
  ☆10Updated 10 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• ninest / commonapp-celebrate
  🎉 Celebrate after submittint your college applications
  ☆21Updated 3 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 2 months ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆12Updated last month
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆30Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated 5 months ago
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆24Updated last year
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆178Updated 4 years ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated this week
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 6 months ago
• first-rust-competition / first-rust-competition
  Rusty Robots: https://crates.io/crates/wpilib and https://crates.io/crates/cargo-frc
  ☆71Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 5 months ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆51Updated 3 years ago
• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 3 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• AdityaJain1030 / Botly
  The open-source Visual-Based Development Interface for creating bots
  ☆15Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆23Updated 2 years ago
• the-blue-alliance / the-blue-alliance-data
  Periodic data dumps from The Blue Alliance
  ☆26Updated 6 years ago