A Universal Chess Interface (UCI) protocol parser and message generator.
☆25Mar 27, 2022Updated 4 years ago
Alternatives and similar repositories for vampirc-uci
Users that are interested in vampirc-uci are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cross-platform socketpair functionality☆17May 15, 2025Updated last year
- OpenWRT ubus client library in pure Rust☆12Jan 25, 2025Updated last year
- Generate a rust module quickly.☆13Jul 30, 2025Updated 10 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆17Apr 14, 2026Updated 2 months ago
- UCI chess engine☆17Oct 21, 2023Updated 2 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.
- Migrated to https://codeberg.org/whitequark/factorio-data-codec☆12May 22, 2026Updated 3 weeks ago
- HTTP API reference for crates.io☆17Jun 26, 2017Updated 8 years ago
- Driver to work with the esp8266 module over the serial port.☆28Aug 2, 2021Updated 4 years ago
- A Ruby library for working with Google's Cayley graph database.☆23Oct 19, 2014Updated 11 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- ☆11Jan 11, 2024Updated 2 years ago
- A Rust Implementation of Ultimate Tic Tac Toe☆26Jan 26, 2023Updated 3 years ago
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 6 months ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 3 months ago
- 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.
- A Rust library for chess and chess variant rules and operations☆290Jun 9, 2026Updated last week
- Modular music synthesiser☆15Jul 13, 2025Updated 11 months ago
- A simple library that can be used to communicate with Siemens S7 family PLC devices☆25Apr 24, 2025Updated last year
- Ruby library for communicating with UCI (Universal Chess Interface) engines.☆19Dec 16, 2014Updated 11 years ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆16Mar 15, 2022Updated 4 years ago
- Bicep grammar for tree-sitter☆10Jun 26, 2025Updated 11 months ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Language Server implementation for Cargo.toml☆55Nov 14, 2025Updated 7 months ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Oct 1, 2021Updated 4 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.
- A simple telnet server☆19Nov 20, 2012Updated 13 years ago
- Aspect Definition Language. A powerful and succinct replacement for XML, JSON, YAML, etc.☆12Jan 6, 2026Updated 5 months ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- Create virtual serial ports, connect them to physical serial ports, and create routes between them all.☆41Aug 15, 2024Updated last year
- ☆22Apr 6, 2016Updated 10 years ago
- nix ipam implantation - your documentation is your configuration☆24May 20, 2024Updated 2 years ago
- Store, view, and organize your PGN files from anywhere. On any device.☆13Jul 30, 2021Updated 4 years ago
- Example Achilles SDK controller for tutorial purposes.☆14Jun 18, 2025Updated last year
- PDF library in Rust☆41Mar 6, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Visual Studio Code support for J language☆14Nov 21, 2025Updated 6 months ago
- Rolling up a character shouldn't eat the whole first session. Hero Mancer walks the entire build in one window, species through equipment…☆14Updated this week
- Parallel Groebner Basis Computation☆26Mar 21, 2026Updated 2 months ago
- Wayland Conformance Test Suite☆59Jun 12, 2026Updated last week
- ☆28Sep 12, 2025Updated 9 months ago
- Nix packages and NixOS modules for Plane.☆17Oct 5, 2024Updated last year
- Unofficial terralang compiler☆13Apr 21, 2023Updated 3 years ago