Alternatives and similar repositories for Dots-and-Boxes

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

• andadiana / cannon-algorithm-mpi
  Cannon's Matrix Multiplication Algorithm using MPI
  ☆11Updated 5 years ago
• JHL-HUST / BandMaxSAT
  BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
  ☆11Updated 2 years ago
• SliSE-SC / SliSE
  ☆11Updated 10 months ago
• ShoumikSaha / DRSM
  DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness (ICLR 2024)
  ☆14Updated last year
• DistributedML / TorML
  A collaborative machine learning framework that operates through Tor.
  ☆13Updated 5 years ago
• delta-mpc / delta-zk
  The zero knowledge proof system used in Delta.
  ☆13Updated 2 years ago
• haoyang9804 / HirGen
  A Computational Graph Generator for AI Compiler Fuzzing
  ☆14Updated 2 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆22Updated 5 years ago
• XXG-Lab / Dragon
  Assignments of the dragon book, 2nd
  ☆12Updated 7 years ago
• whbjzzwjxq / ZKAP
  ☆25Updated last year
• motus / bpf-ml
  Machine Learning meets eBPF
  ☆13Updated 2 years ago
• AliAtaollahi / Solidity2mCRL2-Compiler-Project
  A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models
  ☆11Updated 2 months 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…
  ☆19Updated 5 months ago
• AbertayMachineLearningGroup / zero-day-detection
  ☆15Updated 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
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆21Updated 5 years ago
• dslab-epfl / ebpf-se
  Tool to symbolically execute eBPF programs
  ☆17Updated last year
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆12Updated last year
• FLAIR-THU / TrustworthyFederatedLearning
  THU-AIR 联邦学习隐私与安全
  ☆13Updated 2 years ago
• aptos-labs / keyless-zk-proofs
  Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service
  ☆19Updated this week
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• 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
• afterthat97 / cool-compiler
  Stanford CS1/CS143 Compilers Course Project - Cool compiler
  ☆135Updated 6 years ago
• costa-group / circom_civer
  zkSnark circuit compiler
  ☆12Updated this week
• dl-solarity / circom-lib
  Circom circuits library for magnificent ZK applications
  ☆14Updated 5 months ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆33Updated last week
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• tcwangshiqi-columbia / Neurify
  The released code of Neurify in NIPS 2018
  ☆49Updated 2 years ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆60Updated 5 years ago