Dennis-Krasnov / UringyView external linksLinks
A simple single-threaded concurrency runtime for Rust based on io_uring.
☆27Jan 6, 2024Updated 2 years ago
Alternatives and similar repositories for Uringy
Users that are interested in Uringy are comparing it to the libraries listed below
Sorting:
- A utility library to bridge llvm and mlir gaps.☆14Jan 8, 2025Updated last year
- Bigint ID or primary key generator inspired by Twitter's Snowflake and Sonyflake.☆13Oct 29, 2021Updated 4 years ago
- Pretty print clojure.spec forms☆15Jan 7, 2020Updated 6 years ago
- Optimized engine for Rust. It is a lighter and faster asynchronous library than tokio-rs, async-std, may, and even smol.☆28Nov 3, 2025Updated 3 months ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Feb 1, 2026Updated 2 weeks ago
- Library for rendering markdown to clj-pdf data-structure syntax.☆26Jul 1, 2021Updated 4 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- A primitive for writing structural search and replace programs for rust☆31Jan 15, 2026Updated last month
- ☆26Oct 25, 2019Updated 6 years ago
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆34Mar 5, 2024Updated last year
- go routine pool☆11Apr 23, 2020Updated 5 years ago
- Most simplest Python solution for WebRTC streaming of a video file. Capable of doing play, pause & seeking operations☆14Dec 9, 2024Updated last year
- An eBPF kernel Observable Agent To Spy Performance Issue On OS.☆13Oct 31, 2025Updated 3 months ago
- ☆45Apr 10, 2021Updated 4 years ago
- Near-zero-cost, unabstracted Rust wrapper for LMDB.☆91Jun 20, 2021Updated 4 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated 3 weeks ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- Source code repository for the AISTAT 2023 paper Transport Reversible Jump Proposals.☆10Mar 3, 2023Updated 2 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Jan 22, 2026Updated 3 weeks ago
- Statistics from our binary transformation framework☆10Jan 16, 2025Updated last year
- ☆11Apr 5, 2025Updated 10 months ago
- [Dump] 佐藤正彦 - 繁体字 簡体字 新字体☆10Jan 6, 2018Updated 8 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- RGUI is useful, powerful Reactive Graphical User Interface framework.☆10Jan 12, 2018Updated 8 years ago
- AWS library to sign AWS HTTP requests with Signature Version 4 Signing Process.☆10Jul 11, 2025Updated 7 months ago
- LLVM IR Examples☆38Feb 25, 2017Updated 8 years ago
- Formal semantics of LLVM IR in K☆46Jun 13, 2018Updated 7 years ago
- A proof of concept on creating & logging in with a passkey in ReactJS + Typescript.☆13Jan 25, 2023Updated 3 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- Implementation of the Arm CCA attestation token in Rust☆13Sep 23, 2025Updated 4 months ago
- 🍒 Cherry programming language 🍒☆13Sep 18, 2024Updated last year
- Modular Monoliths in Elixir☆12Jan 29, 2026Updated 2 weeks ago
- gentleman's plugin providing retry policy capabilities in your HTTP clients☆11Sep 11, 2017Updated 8 years ago
- Threshold Signatures with Silent Setup☆12Apr 12, 2023Updated 2 years ago
- A self-serve automated SSH CA implemented as an SSH forced command☆13Sep 21, 2018Updated 7 years ago
- phonetic similarity algorithms☆13Jun 19, 2018Updated 7 years ago