Single assignment and lazy maps
☆20Sep 25, 2025Updated 5 months ago
Alternatives and similar repositories for once_map
Users that are interested in once_map are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Files that can be accessed concurrently☆13Updated this week
- ☆12Mar 9, 2026Updated 2 weeks ago
- Map, Set, and Vector comprehensions for Rust.☆12Aug 27, 2024Updated last year
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- A watchdog utility for tokio runtimes☆17Dec 19, 2025Updated 3 months ago
- Generator and Internet Draft (I-D) documenting test vectors for the stream cipher ChaCha.☆12Apr 21, 2016Updated 9 years ago
- Draw or animate with a mouse in your terminal☆10Feb 25, 2023Updated 3 years ago
- Slides and sources for talks on Tree Borrows☆15Dec 5, 2025Updated 3 months ago
- A crate for argument-currying anything implementing FnOnce. Arguments can be passed one at a time, yielding a new something implementing…☆17Oct 21, 2025Updated 5 months ago
- Collection of celebrities scamming or influencing people by shilling crypto☆11Feb 6, 2022Updated 4 years ago
- A series of classic oblivious algorithms written in Python, covering oblivious RAM, oblivious MAP, and oblivious graph processing for cli…☆13Feb 25, 2026Updated last month
- Eclipse Jetty Plugin☆14Oct 28, 2010Updated 15 years ago
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated 9 months ago
- Asm.js implementation of popular cryptographic utilities☆14Apr 7, 2023Updated 2 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- A simple utility for multithreading a/synchronization☆23Oct 1, 2022Updated 3 years ago
- Command-running macro for Rust☆34Apr 7, 2024Updated last year
- ☆22Sep 26, 2025Updated 5 months ago
- ☆24Jan 11, 2026Updated 2 months ago
- No control flow, only exceptions☆10Dec 13, 2018Updated 7 years ago
- Qute: a dependency learning QBF solver.☆15Mar 11, 2026Updated 2 weeks ago
- No more "Load more"! >:3☆21Oct 27, 2024Updated last year
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 3 years ago
- Unix API☆31Mar 12, 2024Updated 2 years ago
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated 11 months ago
- ☆19Dec 21, 2024Updated last year
- A newtype with alignment of at least `A` bytes☆35Dec 15, 2025Updated 3 months ago
- Save money by booking split-tickets with Deutsche Bahn☆26Aug 12, 2025Updated 7 months ago
- Times and logs queries executed by diesel☆29Nov 18, 2024Updated last year
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- MobileCoin Improvement Proposals☆19Dec 4, 2023Updated 2 years ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 9 months ago
- Byte-level byte pair encoding (BPE) in Haskell☆17May 27, 2024Updated last year
- AST export from Lean 4☆17Jul 25, 2024Updated last year
- Lift enum variants to the type-level.☆32Mar 13, 2021Updated 5 years ago
- A crate for generating (relatively) complex compile-time constants in rust☆33Feb 19, 2026Updated last month
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Comparison of template engines written in and for Rust.☆35Jan 28, 2026Updated last month
- Cli application to simulate the display from "The Matrix" in terminal. Based on CMatrix and UniMatrix.☆21Jun 17, 2022Updated 3 years ago