A massively parallel pentago solver
☆55Aug 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for pentago
Users that are interested in pentago are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A high-performance photo-realistic 3-D renderer☆15Dec 24, 2015Updated 10 years ago
- gui for board game hex (and Y) by broderick arneson☆15Dec 13, 2023Updated 2 years ago
- ☆13Jun 25, 2021Updated 5 years ago
- Playing around with real time raytracing and non-photorealistic rendering for the contest subission of the Computer Graphics course Unive…☆10Jul 11, 2020Updated 6 years ago
- different AI algorithms to solve board games☆18Nov 4, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository contains various tutorials for game design and programming with the Ludii general game system.☆16Jun 20, 2022Updated 4 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Example of an over all attack using DLL_Wrapper.☆11Aug 22, 2017Updated 9 years ago
- Troopers Conference Supporting Materials☆12Apr 8, 2015Updated 11 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- The Compositionality article class.☆14Mar 16, 2026Updated 5 months ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- 4th Year MSci Dissertation☆11Oct 3, 2022Updated 3 years ago
- simple UCI chess engine written by self learner from scratch☆12Sep 16, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Comparison table of VMX capabilities for a bunch of processors☆13Nov 3, 2020Updated 5 years ago
- A fast priority queue/tree/sort struct that supports operations in O(loglog u) time☆18Nov 28, 2017Updated 8 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- Composite of poschengband, kangband, and other *bands with many new additions and gameplay changes☆13Feb 11, 2022Updated 4 years ago
- Data, Code and Results from the ICSE 2019 accepted paper: Analysis and Detection of Information Types of Open Source Software Issue Discu…☆12Feb 25, 2019Updated 7 years ago
- This repository is deprecated. The extension has moved to https://github.com/jupyterlab/jupyter-renderers☆16Aug 26, 2017Updated 9 years ago
- Automated AI Model Metadata eXtractor - automatically extracts and infers AI model-related from software repositories☆12Sep 21, 2025Updated 11 months ago
- AlphaZero implemented for Hex☆24Jun 26, 2018Updated 8 years ago
- ☆12Oct 14, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Dec 11, 2024Updated last year
- a modified version of FunSeq2 using new data context☆15Aug 18, 2022Updated 4 years ago
- CrazyAra - A Deep Learning UCI-Chess Variant Engine written in C++☆12Oct 8, 2019Updated 6 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ☆14Feb 24, 2019Updated 7 years ago
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 10 months ago
- Unified NeuroImaging Quality Control (uniQC) toolbox☆12Jan 10, 2022Updated 4 years ago
- A collection of cellular automata simulations written in python.☆14Jun 2, 2014Updated 12 years ago
- うさぴょん２のクラスタ構成のスレーブ側です。☆10May 18, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A library to calculate parametric maps in MRI. For details see https://doi.org/10.1016/j.softx.2019.100369☆10Oct 5, 2021Updated 4 years ago
- An extension of Jotaf's Python roguelike tutorial for libtcod.☆10Apr 5, 2016Updated 10 years ago
- A python interface to the MINC 2 library, allowing use of numpy arrays to access MINC data, and other such similar goodies, developed by …☆14Sep 26, 2022Updated 3 years ago
- Enhanced Denoising Auto-Encoding Priors for Reconstruction☆11Feb 12, 2026Updated 6 months ago
- Implementation of Needleman-Wunsch and Hirschberg's Algorithm☆17Nov 30, 2016Updated 9 years ago
- Simple traffic controller agent with Golang.☆12Jul 29, 2023Updated 3 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆85Nov 21, 2022Updated 3 years ago