Armando8766 / Dots-and-Boxes
Playing Dots and Boxes in Python against AI using min-max and alpha-beta pruning
☆13Updated 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
- A simple c++ program that takes a file as input, and after tokenizing the file, it finds what each token name is(identifier, keyword, sep…☆21Updated 3 years ago
- Cannon's Matrix Multiplication Algorithm using MPI☆11Updated 5 years ago
- Assignments of the dragon book, 2nd☆12Updated 7 years ago
- DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness (ICLR 2024)☆14Updated last year
- Vulnerable Source Code Collected from Open Source Repositories for Dataset Generation☆14Updated 4 years ago
- ☆13Updated last year
- ☆11Updated 3 months ago
- A Computational Graph Generator for AI Compiler Fuzzing☆14Updated last year
- Interview questions for Computer Science faculty jobs☆40Updated last year
- Modelling Capture-the-Flag Challenges Using Reinforcement Learning☆15Updated 2 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Updated 2 years ago
- 南京大学软件学院毕业论文书写规范要求☆23Updated last year
- x86 emulator，PA of ICS, NJU, 2017，implemented all functions.☆27Updated 7 years ago
- Problem Set for Course Compilers@software.nju.edu☆40Updated 10 months ago
- 📚 Solutions to Introduction to Algorithms Third Edition☆34Updated 2 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Updated 3 years ago
- ☆18Updated 3 months ago
- Implementation of PATE technique described in https://arxiv.org/pdf/1610.05755.pdf☆9Updated 5 years ago
- AI Pacman, CS188 2019 summer version (Completed), original website:☆86Updated 4 years ago
- 2020春季学期jyy的操作系统课程的实验☆32Updated 4 years ago
- Dataset containing source code and deployed bytecode for Solidity Smart Contracts that have been verified on Etherscan.io, along with a c…☆23Updated 2 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- Artificial Intelligence project designed by UC Berkeley. Designed game agents for the game Pacman using basic, adversarial and stochastic…☆104Updated 9 years ago
- Learning graph-based code representations for source-level functional similarity detection. ICSE'23☆50Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆23Updated 2 years ago
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆17Updated last year
- MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…☆28Updated 2 years ago
- Code for the AsiaCCS 2021 paper: "Malware makeover: Breaking ML-based static analysis by modifying executable bytes"☆51Updated 11 months ago
- Erasing data from machine learning models! ✏️☆12Updated 4 years ago
- 历年 CSP 真题代码☆64Updated 3 years ago