Armando8766 / Dots-and-BoxesLinks
Playing Dots and Boxes in Python against AI using min-max and alpha-beta pruning
☆12Updated 6 years ago
Alternatives and similar repositories for Dots-and-Boxes
Users that are interested in Dots-and-Boxes are comparing it to the libraries listed below
Sorting:
- Cannon's Matrix Multiplication Algorithm using MPI☆11Updated 5 years ago
- The zero knowledge proof system used in Delta.☆13Updated 2 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆14Updated 2 years ago
- DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness (ICLR 2024)☆14Updated last year
- A simple SAT solver that implements the DPLL algorithm with unit resolution☆46Updated 6 years ago
- 📡 ZkWave: Transforming Voice into Secure Proofs 🎤🔐☆21Updated 9 months ago
- ☆11Updated 11 months ago
- THU-AIR 联邦学习隐私与安全☆13Updated 2 years ago
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆20Updated 5 months ago
- 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
- Formal verification of the zkWasm project☆15Updated last year
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Updated 4 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- Compile circom code to llvm partially☆12Updated 2 years ago
- Differential Privacy Testing System☆22Updated 5 years ago
- ☆10Updated last year
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆19Updated this week
- Machine Learning meets eBPF☆13Updated 2 years ago
- zkSnark circuit compiler☆12Updated this week
- A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models☆11Updated 3 months ago
- A high-throughput oblivious storage system☆28Updated 2 years ago
- A collaborative machine learning framework that operates through Tor.☆13Updated 5 years ago
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆58Updated 3 years ago
- Machine Learning Applied to Networking☆41Updated 3 years ago
- My solutions to the programming assignments of the Stanford Compiler course.☆380Updated 10 years ago
- Code for EI338 Operating System in SJTU. (Programming Projects of Operating System Concepts, 10th Edition)☆96Updated 2 years ago
- Duet: A Language for Differential Privacy☆16Updated 3 years ago
- Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"☆11Updated 3 years ago
- ☆22Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago