Alternatives and similar repositories for ust-beamer

Users that are interested in ust-beamer are comparing it to the libraries listed below

• ppartarr / pyRoute
  🛣 Distance-vector routing protocol implementation in Python
  ☆7Updated 7 years ago
• jesse-michael-han / neuro-cadical
  CaDiCaL + neural glue variable predictions
  ☆10Updated 4 years ago
• hgupta01 / svm_classification_keras
  Implementing SVM layer for classification using Keras Module
  ☆7Updated last year
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆10Updated last year
• polixir / ZOOpt
  A python package of Zeroth-Order Optimization (ZOOpt)
  ☆70Updated 2 years ago
• Dolores2333 / MATH5411
  All you need for MATH5411 Advanced Probability, 2020 Fall, HKUST, Lecturer BAO Zhigang.
  ☆55Updated 4 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• jar-ben / mustool
  ☆15Updated 2 years ago
• ThiagoLira / AutoFisher-SV
  ☆10Updated last year
• MIRALab-USTC / AI4LogicSynthesis-PruneX
  ☆10Updated last year
• HaroldLiuJ / GRE-Documents
  个人在备考GRE时用到的资料
  ☆18Updated 5 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆12Updated last month
• milo168 / FPGA25_SAT_Accel
  FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository
  ☆12Updated 4 months ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• xinychen / awesome-beamer
  Creating presentation slides by using Beamer in LaTeX.
  ☆116Updated last year
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 8 years ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆17Updated 2 years ago
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• sikouhjw / MathorCupmodeling
  MathorCup杯数学建模论文模板
  ☆17Updated 5 years ago
• UCSBarchlab / owl
  Control Logic Synthesis: Drawing the Rest of the OWL
  ☆11Updated last year
• Saltsmart / Latex-homowork
  张三浦都在用的Latex好模板
  ☆17Updated 2 years ago
• lamda-bbo / MCTS-VS
  Official implementation of NeurIPS'22 paper "Monte Carlo Tree Search based Variable Selection for High-Dimensional Bayesian Optimization"
  ☆41Updated 2 years ago
• GATECH-EIC / LLM4HWDesign_Starting_Toolkit
  LLM4HWDesign Starting Toolkit
  ☆17Updated 9 months ago
• mohdomama / Quine-McCluskey
  A Python/C++ implementation of Quine McCluskey(Tabulation) method.
  ☆12Updated 6 years ago
• ycunxi / ACEC_benchmarks
  Arithmetic multiplier benchmarks
  ☆11Updated 7 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago