A massively parallel pentago solver
☆54Aug 10, 2026Updated this week
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:
- gui for board game hex (and Y) by broderick arneson☆15Dec 13, 2023Updated 2 years ago
- Parses documentation out of javascript source and outputs JSON.☆14Apr 27, 2011Updated 15 years ago
- different AI algorithms to solve board games☆18Nov 4, 2018Updated 7 years ago
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- leelafish is a branch of lc0 that allows an auxillary engine (SF) to give leela advice.☆15May 25, 2020Updated 6 years ago
- simple virtual midi keyboard☆18Jun 5, 2025Updated last year
- Signed distance field computations for meshes☆12Oct 7, 2014Updated 11 years ago
- Read and write FAT format filesystems from OCaml☆25May 31, 2025Updated last year
- ☆23Dec 16, 2015Updated 10 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
- A set of packages to read and write common file formats produced by computational biology software.☆10Jan 21, 2014Updated 12 years ago
- JSure is a fast, standalone Javascript checker.☆37Jan 15, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An OCaml library for creating pandoc filters.☆33Mar 23, 2026Updated 4 months ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Mar 1, 2021Updated 5 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- ☆19Jul 13, 2017Updated 9 years ago
- Composite of poschengband, kangband, and other *bands with many new additions and gameplay changes☆13Feb 11, 2022Updated 4 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆34Jan 23, 2012Updated 14 years ago
- An OSRM predictive speed profiler using Uber Movement Speed data☆17Sep 25, 2019Updated 6 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.
- ☆13Nov 27, 2019Updated 6 years ago
- RPG based on Hengband☆12Jun 28, 2015Updated 11 years ago
- Joelle Barral's gold standard inversion recovery T1 mapping package☆11Apr 14, 2020Updated 6 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years 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
- A Monte Carlo tree search solver for games with perfect information.☆10Aug 26, 2016Updated 9 years ago
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆12Oct 11, 2017Updated 8 years ago
- The Ad-Hoc Configuration Protocol daemon☆36Jan 8, 2014Updated 12 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.
- Enhanced Denoising Auto-Encoding Priors for Reconstruction☆11Feb 12, 2026Updated 6 months ago
- Source code for the public release for the LGalaxies model of galaxy formation and evolution☆18Apr 13, 2021Updated 5 years ago
- 🐟 Web-based HKube user interface. 🐠☆11Updated this week
- Cross-platform package to move stuff to the OS trash☆27Mar 4, 2025Updated last year
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆85Nov 21, 2022Updated 3 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- Binding to jQuery (for js_of_ocaml)☆25Nov 19, 2012Updated 13 years ago