Alternatives and similar repositories for Dots-and-Boxes

Users that are interested in Dots-and-Boxes are comparing it to the libraries listed below

• JHL-HUST / BandMaxSAT
  BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
  ☆11Updated 2 years ago
• delta-mpc / delta-zk
  The zero knowledge proof system used in Delta.
  ☆13Updated 2 years ago
• sukrutrao / SAT-Solver-DPLL
  A simple SAT solver that implements the DPLL algorithm with unit resolution
  ☆45Updated 6 years ago
• SliSE-SC / SliSE
  ☆12Updated 9 months ago
• ShoumikSaha / DRSM
  DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness (ICLR 2024)
  ☆14Updated last year
• phate09 / SafeDRL
  Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"
  ☆10Updated 3 years ago
• andadiana / cannon-algorithm-mpi
  Cannon's Matrix Multiplication Algorithm using MPI
  ☆11Updated 5 years ago
• motus / bpf-ml
  Machine Learning meets eBPF
  ☆12Updated 2 years ago
• haoyang9804 / HirGen
  A Computational Graph Generator for AI Compiler Fuzzing
  ☆14Updated 2 years ago
• obliviousram / PathORAM
  Path ORAM reference implementation
  ☆32Updated 5 years ago
• zero-savvy / zk-remote-attestation
  Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…
  ☆18Updated 4 months ago
• SafeAILab / zkDL
  zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
  ☆46Updated last year
• AbertayMachineLearningGroup / zero-day-detection
  ☆15Updated last year
• FLAIR-THU / TrustworthyFederatedLearning
  THU-AIR 联邦学习隐私与安全
  ☆13Updated 2 years ago
• sumonbis / PathORAM
  Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…
  ☆23Updated 6 years ago
• ucbrise / snoopy
  A high-throughput oblivious storage system
  ☆28Updated 2 years ago
• DistributedML / TorML
  A collaborative machine learning framework that operates through Tor.
  ☆13Updated 5 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• AmirH-A / ZKWave
  📡 ZkWave: Transforming Voice into Secure Proofs 🎤🔐
  ☆20Updated 7 months ago
• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆22Updated 5 years ago
• thecuongthehieu / CS162-Operating-Systems-and-System-Programming-Homework
  CS 162: Operating Systems and System Programming Homework
  ☆62Updated 3 years ago
• alvinzhaowei / vdist2vec
  An implementation of vdist2vec model in paper A Learning Based Approach to Predict Shortest-Path Distances
  ☆11Updated 3 years ago
• costa-group / circom_civer
  zkSnark circuit compiler
  ☆12Updated last week
• LingfengZhang98 / EIDIG
  Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…
  ☆11Updated 4 years ago
• whbjzzwjxq / ZKAP
  ☆25Updated last year
• codeAligned / CMU-15213-Lab
  Source code and solution to CMU 15-213
  ☆131Updated last year
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆28Updated 3 years ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆29Updated last week
• USENIX-Security-2025 / conference-format
  ☆22Updated last year
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago