Correct-by-construction non-empty collections.
☆37Jan 16, 2026Updated 2 months ago
Alternatives and similar repositories for nonempty-collections
Users that are interested in nonempty-collections are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 2 years ago
- Database-like Asset management on top of ECS storage☆14Feb 1, 2026Updated last month
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- Send events via a channels form anywhere (eg. web-dom, c-ffi) to Bevy Observers☆25Jan 13, 2026Updated 2 months ago
- Configure const and static items by environment variables.☆26Nov 19, 2025Updated 4 months 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.
- GitHub-flavored emoji database☆15Sep 19, 2023Updated 2 years ago
- The cumulative sibling of `Result` and `Either`.☆24Jun 30, 2025Updated 8 months ago
- Access tracing logs in your bevy app using vanilla bevy_ui☆23Jan 20, 2026Updated 2 months ago
- A fantastic crate for formatting numbers using the appropriate unicode characters☆15Jan 13, 2026Updated 2 months ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- one-stop solution for async shutdown (runtime agnostic)☆22Mar 27, 2024Updated 2 years ago
- A collection of Common Lisp utilities to ratify, validate and parse inputs.☆31Aug 13, 2025Updated 7 months ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- VFX editor for Bevy and Hanabi☆131Jul 10, 2025Updated 8 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- plain bash algorithms☆10Feb 18, 2016Updated 10 years ago
- Local semantic indexing and search for Emacs☆10Aug 23, 2025Updated 7 months ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆55Updated this week
- Deadlock free mutexes☆176Mar 30, 2025Updated 11 months ago
- Concurrent cross-platform terminal interface☆19Apr 15, 2023Updated 2 years ago
- Strongly typed APIs for non-empty collections, slices, and iterators.☆87Updated this week
- Derive macro for generating arrays from struct fields.☆20Oct 6, 2022Updated 3 years ago
- A tool to remove unused code from a Rust project.☆32Oct 28, 2024Updated last year
- Native Rust Kafka client, built upon kafka-protocol-rs and Tokio.☆10Jan 7, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated 9 months ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Ada Unit Testing Library☆10Aug 3, 2025Updated 7 months ago
- NumSharp compact version without full datatype supported.☆11Jan 23, 2021Updated 5 years ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- ☆71Jul 12, 2024Updated last year
- A binary format for Rust / serde that supports schema evolution☆17Feb 10, 2025Updated last year
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- `memory_pages` is a small library provinig a cross-platform API to request pages from kernel with certain premisions☆31Mar 25, 2023Updated 3 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- A fast, optimizing, BF compiler, interpreter, and REPL. Also includes a BF formatter and minifier! Implemented in Go. Batteries included.☆12May 29, 2024Updated last year
- A matrix bot to get notified of nixpkgs-update build failures☆22Aug 3, 2025Updated 7 months ago
- Image processing DSL implemented in C-Mera☆10Dec 12, 2016Updated 9 years ago