A toolkit for experimenting with UCT and Leela Chess nets in Python.
☆16Oct 3, 2023Updated 3 years ago
Alternatives and similar repositories for leela_lite
Users that are interested in leela_lite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple pytorch net evaluator with Bad Gyal 8 and Mean Girl 8 net included.☆11Jul 26, 2026Updated 3 months ago
- Split large PGN files into smaller chunks☆18Nov 12, 2017Updated 8 years ago
- Allie: A UCI compliant chess engine☆112Apr 8, 2021Updated 5 years ago
- different AI algorithms to solve board games☆18Nov 4, 2018Updated 7 years ago
- http://snowkit.github.io/linc/ Haxe/hxcpp @:native bindings for OpenAL☆12Jul 1, 2018Updated 8 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.
- lc0docker: run lc0 chess client and lichess bot under Docker and Kubernetes☆32Oct 28, 2020Updated 6 years ago
- A library of hydraulic components for Dyad☆11Jun 11, 2025Updated last year
- ☆12Oct 13, 2026Updated 2 weeks ago
- A library of thermal components for Dyad☆11Jun 11, 2025Updated last year
- A Haxe formatter and syntax highlighter☆13Dec 21, 2015Updated 10 years ago
- Fork of https://github.com/niklasf/fishnet Supports variants playable on https://www.pychess.org☆13Updated this week
- A JIT compiled chess engine which traverses the search tree in batches in a best-first manner, allowing for neural network batching, asyn…☆31Mar 12, 2022Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- test framework☆11Jun 2, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- String support package for Julia☆54Oct 24, 2026Updated last week
- google app information ninja ,crawl google app information☆12Mar 1, 2015Updated 11 years ago
- Ceres - an MCTS chess engine for research and recreation☆180Sep 13, 2026Updated last month
- UCI chess playing engine derived from Stockfish and LeelaChess Zero☆18Aug 19, 2018Updated 8 years ago
- linc_ffmpeg tentative☆15Jun 18, 2016Updated 10 years ago
- ☆10Sep 18, 2025Updated last year
- Code for the Timely Object Recognition project☆13Apr 21, 2014Updated 12 years ago
- Claude Code Skills for working with jj (Jujutsu VCS)☆14Sep 26, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Alphazero on GPU thanks to CUDA.jl☆34Aug 30, 2021Updated 5 years ago
- Rubric is a domain specific language for specifying constraints and validating AI-generated code.☆12Nov 4, 2025Updated 11 months ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- Evaluation networks for Stockfish☆25Updated this week
- A Julia wrapper for the OpenSpiel project☆12Sep 5, 2024Updated 2 years ago
- A small implementation of SPSA in Python☆16Jun 13, 2018Updated 8 years ago
- Julia binding for MMTk☆24Jul 23, 2026Updated 3 months ago
- Haxe Language Bindings for Angular 2☆28Feb 14, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆19Jun 17, 2019Updated 7 years ago
- Rating for chess engines, players, or other games☆80Sep 15, 2023Updated 3 years ago
- A high-density multiplayer state engine for all-to-all observer simulations and multiplayer digital twins☆28Oct 22, 2026Updated last week
- A recursion scheme library for Idris.☆25Jun 27, 2026Updated 4 months ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- Semantic Search Over 9 million Mathematical Theorems☆23Oct 3, 2026Updated 3 weeks ago
- Using runtime-free macro packages as dev-only dependencies.☆22Jan 6, 2023Updated 3 years ago