kz04px / libataxxLinks
A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx
☆10Updated last year
Alternatives and similar repositories for libataxx
Users that are interested in libataxx are comparing it to the libraries listed below
Sorting:
- A Verilog parser for Haskell.☆35Updated 4 years ago
- Leela - a Go program combining Monte Carlo simulations and Neural Networks.☆68Updated 2 years ago
- Graphical interface for the Leela Go program.☆33Updated 4 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- An amateur attempt at breeding a chess-playing AI.☆10Updated 4 months ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆18Updated 13 years ago
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 9 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- Artificial go player based on reinforcement and supervised learning☆48Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- embedding MLIR in LEAN☆47Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- Analytic Number Theory high-precision GnuMP routines☆19Updated last year
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated this week
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 2 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆58Updated this week
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 10 months ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated last year
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Implementation of Deepmind's AlphaZero algorithm with Caffe and C++☆19Updated 7 years ago
- LODA Programs for Integer Sequences☆35Updated this week
- the stanford graphbase, by donald knuth☆17Updated 9 years ago
- Library for creation of SAT instances.☆23Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- PHASE(Parallel High-performence Agent-based Simulation Environment)☆9Updated 5 years ago