☆16Jan 20, 2024Updated 2 years ago
Alternatives and similar repositories for definitely-only-once
Users that are interested in definitely-only-once are comparing it to the libraries listed below
Sorting:
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆17Jan 31, 2021Updated 5 years ago
- ☆15Jan 11, 2024Updated 2 years ago
- Yet another Game Boy emulator☆22Sep 4, 2022Updated 3 years ago
- Cross platform PC application. System wide file watchers handling made simple.☆21Jan 24, 2023Updated 3 years ago
- A Vultr cert-manager repo for creating an ACME DNS01 solver webhook☆20Feb 2, 2026Updated last month
- A crate for converting an ASCII text string to a single unicode grapheme cluster and back. Also provides a macro to embed encoded source …☆21Feb 24, 2026Updated last week
- Rust GUI library.☆19Jul 29, 2024Updated last year
- Binary file patching tool☆23Oct 30, 2020Updated 5 years ago
- A WebAssembly (WASM) based REPL interface for my Raytracer Challenge in Rust project☆19Apr 14, 2022Updated 3 years ago
- 🏹 Stack-allocated, constant-size, matrix type implemented with const generics☆20Nov 18, 2025Updated 3 months ago
- WIP / POC for using the BL602 wifi blob from Rust for wifi and BLE connectivity☆24Mar 12, 2022Updated 3 years ago
- Read and save MSFS aircraft state and apply to next flight☆10Nov 11, 2025Updated 3 months ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆34Apr 17, 2018Updated 7 years ago
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 8 months ago
- Mod merging tool for The Witcher 3: Wild Hunt [C++, Qt5]☆12Nov 4, 2016Updated 9 years ago
- Metric, Imperial, and other measurement handling for Rust. Length, Temperature, Weight, and Volume☆50Oct 18, 2025Updated 4 months ago
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Jul 30, 2022Updated 3 years ago
- A Python program, running as an independent process, that provides a 'proxy like' service for experiment runtimes ( psychopy ) and device…☆19May 8, 2013Updated 12 years ago
- Simple framework for symbolic manipulation☆11Nov 6, 2024Updated last year
- vertical search crawler☆38Jan 9, 2012Updated 14 years ago
- homepage☆10Feb 15, 2023Updated 3 years ago
- An app which reads data from a serial port and serves it on a TCP port.☆11Oct 7, 2023Updated 2 years ago
- A posixy shell implemented in Rust with minimal external dependencies.☆18Oct 24, 2025Updated 4 months ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- The Linux Routing Agent for hyperglass☆13Feb 28, 2021Updated 5 years ago
- Provide AsyncRead/AsyncWrite over tungstenite websockets☆41Jun 8, 2025Updated 9 months ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆14Jun 26, 2025Updated 8 months ago
- Fabric the way you like it 🙂 - The CLI Swiss army knife for Hyperledger Fabric developers☆17Apr 19, 2024Updated last year
- 💀 Periodically shakes your mouse pointer☆13Jan 21, 2024Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Unofficial Knowledge Base for Novel AI☆16Nov 8, 2025Updated 4 months ago
- Platform-agnostic Rust driver for the VEML6030 and VEML7700 high-accuracy ambient light sensors.☆10Jun 27, 2025Updated 8 months ago
- ☆48Feb 2, 2026Updated last month
- Cooperative multitasking (AKA async/await) on ARM Cortex-M☆39Dec 3, 2019Updated 6 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 3 months ago
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago