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:
- Minimal Rust wrapper for using sockets as IPC with file descriptor passing | now on https://codeberg.org/valpackett/tiny-nix-ipc☆15Oct 1, 2022Updated 3 years ago
- A cli for building serverless rust containers☆17May 7, 2021Updated 4 years ago
- ☆12May 28, 2025Updated 10 months ago
- A set of vulnerable Tauri applications for educational purposes☆20Updated this week
- Rust wrapper for Wasm3, the fastest WebAssembly interpreter☆15Sep 20, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Parses a duration from a string.☆20Mar 25, 2021Updated 5 years ago
- Rust bindings for Subversion☆12Updated this week
- Terminal reader for novel☆26Nov 30, 2025Updated 4 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Sep 14, 2020Updated 5 years ago
- A lightweight script to run any app as a dropdown in BSPWM. Used mostly for terminal emulators like Alacritty and Kitty.☆10Mar 5, 2023Updated 3 years ago
- HTTP API reference for crates.io☆17Jun 26, 2017Updated 8 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Essay on Hamiltonian Monte Carlo in PyMC3☆15Apr 6, 2023Updated 3 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.
- Driver to work with the esp8266 module over the serial port.☆28Aug 2, 2021Updated 4 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- Examples of applied machine learning☆13Dec 27, 2017Updated 8 years ago
- IRC client protocol module for Deno, Node.js and Bun☆18Apr 5, 2026Updated last week
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 4 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- ☆10Jan 11, 2024Updated 2 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Rust Implementation of Ultimate Tic Tac Toe☆25Jan 26, 2023Updated 3 years ago
- Pure Rust chess engine.☆10Dec 31, 2025Updated 3 months ago
- My emacs config (as a nix flake)☆14Nov 17, 2023Updated 2 years ago
- System for Testing Statistical Arbitrage Strategy☆14Apr 28, 2024Updated last year
- ☆18Jul 23, 2019Updated 6 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Apr 17, 2024Updated last year
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- ☆15Feb 3, 2026Updated 2 months ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tool for capturing snapshots of public data sources and archiving them on Zenodo for programmatic use.☆14Apr 6, 2026Updated last week
- dockerized toolchain for programming of teensy microcontrollers☆12Jul 7, 2024Updated last year
- QuickFIX 101: Building a Sample Trading App☆19Oct 9, 2020Updated 5 years ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- Bicep grammar for tree-sitter☆10Jun 26, 2025Updated 9 months ago
- Handling multiple events asynchronously in a Ratatui terminal UI using Rust☆16Jan 31, 2025Updated last year
- A Foundry VTT module that provides a general purpose REST API through a WebSocket relay☆18Apr 2, 2026Updated 2 weeks ago