Find selfmates in PGN chess games
☆15May 12, 2023Updated 2 years ago
Alternatives and similar repositories for selfmate
Users that are interested in selfmate are comparing it to the libraries listed below
Sorting:
- ☆10Feb 15, 2023Updated 3 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Another Neovim Discord RPC plugin☆20Aug 7, 2025Updated 6 months ago
- Haskell implementation of the KDL Document Language☆28Dec 15, 2025Updated 2 months ago
- Typing the linear pi calculus in Agda☆29Mar 15, 2022Updated 3 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 10 months ago
- LLM Frontend for Power Users. Better SillyTavern.☆28Updated this week
- A program that makes Custom Streams for Needy Streamer Overload.☆12Jan 31, 2026Updated last month
- Zig build and bindings for Micro QuickJS☆84Jan 3, 2026Updated last month
- The old Alter Ego app from Danganronpa rewritten in the Godot Game Engine☆11Aug 14, 2023Updated 2 years ago
- Nyarch Wiki is designed to be a straightforward and accessible resource for users of all skill levels.☆21Jan 25, 2026Updated last month
- Replace OSRS music tracks with user defined music☆13Updated this week
- Linux NFTABLES syntax highlighter and syntax checker for Vim-class editors.☆13Aug 23, 2025Updated 6 months ago
- USI shogi engine☆15Updated this week
- Simple and powerful extension for searching web and viewing website content.☆11Apr 11, 2025Updated 10 months ago
- rEFInd theme, systemd-boot, mkinitcpio, dracut, plymouth, sddm, wallpapers, color-schemes, nvidia, amdgpu☆13Mar 21, 2025Updated 11 months ago
- Blazing-fast file transfers over LAN☆10Aug 15, 2011Updated 14 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆12Jan 16, 2026Updated last month
- DB to store users badges☆10Updated this week
- Grub Theme☆12Aug 29, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Language Projects (.lproj's) for IAmLazy -- To localize, copy en.lproj, rename, edit, and pr changes☆10Jul 25, 2024Updated last year
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 4 years ago
- Built-In zellij user interfaces☆15May 19, 2024Updated last year
- Docker container for managing Caddy proxy hosts with a simple, powerful interface☆26Updated this week
- ☆13Updated this week
- A Weather CLI Build with Rust to utilize OpenWeatherMap API to give you real-time weather reports☆11Nov 7, 2024Updated last year
- Dotfiles, a monorepo, who is to know!!☆46Updated this week
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- a simple and opinionated development plugin.☆13Feb 19, 2026Updated last week
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- A ratatui based vertical and horizontal slider.☆37Feb 20, 2026Updated last week
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- ☆12Dec 9, 2022Updated 3 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago