Find selfmates in PGN chess games
☆17May 12, 2023Updated 3 years ago
Alternatives and similar repositories for selfmate
Users that are interested in selfmate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- haha I'm graduating☆14Jul 22, 2021Updated 5 years ago
- TaPL implementation bits in Idris2☆16Feb 27, 2022Updated 4 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- Fluent binary serialization / deserialization in TypeScript.☆11Oct 27, 2025Updated 8 months ago
- Wireguard VPN implementation in Java. max throughput of about 5gbit☆14Feb 17, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆17Jan 6, 2026Updated 6 months ago
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- Haskell implementation of the KDL Document Language☆28Dec 15, 2025Updated 7 months ago
- ☆10Apr 26, 2026Updated 2 months ago
- The updated website for b01lers CTF!☆14Jul 4, 2026Updated 2 weeks ago
- ☆10Feb 15, 2023Updated 3 years ago
- Python bindings for dhall, a functional configuration language☆50Nov 26, 2024Updated last year
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated last year
- Another Neovim Discord RPC plugin☆21Mar 19, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exploring calendar outlining☆17Feb 14, 2024Updated 2 years ago
- The Stargate process manager☆13Nov 11, 2020Updated 5 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Jun 24, 2026Updated 3 weeks ago
- A Proposed new backend for PolyMC's instance management system☆10Oct 19, 2022Updated 3 years ago
- time's prettier cousin☆16Dec 4, 2018Updated 7 years ago
- Typing the linear pi calculus in Agda☆30Mar 15, 2022Updated 4 years ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- Algebraic Data Types for perl6, inspired by Haskell☆12Jan 15, 2020Updated 6 years ago
- USI shogi engine☆15Apr 1, 2026Updated 3 months 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 XScreenSaver hack to display games of Go☆11Feb 18, 2024Updated 2 years ago
- fleuve: langage de programmation non-fonctionnel, potentiellement généraliste et très opiniâtre.☆11Nov 15, 2020Updated 5 years ago
- A GPT Partition Manager☆18Oct 9, 2021Updated 4 years ago
- DRG Save Parser is a rust-based save file parser for Deep Rock Galactic☆11Dec 19, 2023Updated 2 years ago
- ☆23Jul 9, 2026Updated last week
- A tournament running automaton.☆10Sep 2, 2021Updated 4 years ago
- 🕰️ Browse Git reflog visually and recover reachable local history with a TUI☆66May 31, 2026Updated last month
- A randomizer for Kirby's Adventure for NES☆19Oct 7, 2020Updated 5 years ago
- A rusty, dual-wielding Quake and Half-Life texture WAD parser.☆21Apr 2, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A minimal ngrok liked reverse proxy implemented in Rust for educational purpose.☆14Jul 23, 2023Updated 2 years ago
- a fetch which displays memory info using /proc/meminfo☆13Jan 20, 2024Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁☆13Nov 17, 2024Updated last year
- Wikipedia Infobox -> Elisp☆14Jan 1, 2026Updated 6 months ago
- Generate a type-safe openssl configuration file with dhall☆14Aug 25, 2023Updated 2 years ago
- ☆12Jan 24, 2022Updated 4 years ago
- A non-root version of traceroute written in Rust☆16Apr 22, 2021Updated 5 years ago