Alternatives and similar repositories for calcentral

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

• csmberkeley / csm-61a
  CSM 61A Worksheets in Latex
  ☆13Updated 3 months ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆22Updated 3 weeks ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 3 weeks ago
• EricAndrechek / FermiQuestions
  Open Source Github Homepage for the Internet's Best Fermi Questions Practice Test
  ☆49Updated last year
• SmnTin / lincheck
  A linearizability checker for concurrent data structures
  ☆12Updated 2 years ago
• UCSD-Historical-Enrollment-Data / webreg_scraper
  A scraper and API for WebReg, UCSD's course enrollment system.
  ☆12Updated 8 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• necavit / li-sat-solver
  A basic SAT solver implementation for the Logics in Informatics course
  ☆10Updated 10 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated 2 weeks ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• jbman223 / EarlyAP
  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
• frc1418 / FRCNewTab
  Display information about a random FRC team in your new tab.
  ☆18Updated 3 months ago
• team401 / 2018-Robot-Code
  Kotlin Robot and Vision Code for FRC Team 401's 2018 Robot
  ☆11Updated 7 years ago
• sipb / fireroad-server
  A central location for student-developed planning tools to access MIT course and requirements data.
  ☆18Updated 2 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 4 months ago
• neotenic / protobowl
  real time multiplayer quizbowl
  ☆95Updated last year
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆23Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 5 months ago
• FIRSTRobotics / fms-manual
  FMS Manual
  ☆14Updated last month
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 4 months ago
• robotrs / rust-wpilib
  Port of WPILib (https://github.com/wpilibsuite/allwpilib) to Rust
  ☆28Updated 8 years 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
• brenapp / robotevents
  RobotEvents v2 API Module
  ☆18Updated 2 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆32Updated 4 months ago
• nmoroze / kronos
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Updated 4 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 10 months ago
• NTU-ALComLab / LSV-PA
  Logic Synthesis and Verification: Programming Assignments
  ☆13Updated 7 months ago