Correct-by-construction non-empty collections.
☆38Aug 4, 2026Updated last month
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:
- Correct by construction non-empty list☆74Oct 3, 2025Updated 11 months ago
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 3 years ago
- Maintenance Fork of hyper-proxy, A proxy connector for Hyper-based crates☆14Oct 29, 2025Updated 10 months ago
- Mesh generation for tree and plants, using volumetric invigoration☆15Mar 13, 2026Updated 5 months ago
- Configure const and static items by environment variables.☆28Nov 19, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A prime generator for Rust☆15Jul 21, 2024Updated 2 years ago
- A scene-graph implementation in Rust☆27Jan 14, 2026Updated 7 months ago
- Hosts EDitor, it will add/update/delete host entries for you☆13Mar 14, 2024Updated 2 years ago
- A set of simple helper functions to cut corners with serde_default☆14Jan 21, 2026Updated 7 months ago
- The cumulative sibling of `Result` and `Either`.☆24Jun 30, 2025Updated last year
- A type-checked alternative to cfg(feature)☆21Jun 5, 2025Updated last year
- A fantastic crate for formatting numbers using the appropriate unicode characters☆15Jan 13, 2026Updated 7 months ago
- I found this code here http://lists.common-lisp.net/pipermail/slime-devel/2012-March/018497.html . Original Author is Max Mikhanosha.☆20Nov 26, 2015Updated 10 years ago
- one-stop solution for async shutdown (runtime agnostic)☆21Mar 27, 2024Updated 2 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.
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- Platforms and resources for practicing cybersecurity and penetration testing skills in legal environments.☆33Aug 4, 2026Updated last month
- Send events via a channels form anywhere (eg. web-dom, c-ffi) to Bevy Observers☆27Jun 26, 2026Updated 2 months ago
- A collection of Common Lisp utilities to ratify, validate and parse inputs.☆31May 18, 2026Updated 3 months ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 5 years ago
- Local semantic indexing and search for Emacs☆11Aug 23, 2025Updated last year
- Deadlock free mutexes☆177Mar 30, 2025Updated last year
- Consistent Hashing library in Rust☆18Jun 14, 2023Updated 3 years ago
- Hyperoperations for JavaScript!☆12Jan 1, 2026Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- `memory_pages` is a small library provinig a cross-platform API to request pages from kernel with certain premisions☆32Mar 25, 2023Updated 3 years ago
- Derive macro for generating arrays from struct fields.☆20Apr 8, 2026Updated 4 months ago
- A tool to remove unused code from a Rust project.☆37Oct 28, 2024Updated last year
- 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
- Is an Iterator sorted?☆23Oct 16, 2023Updated 2 years ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 6 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated last year
- A binary format for Rust / serde that supports schema evolution☆18Feb 10, 2025Updated last year
- ☆71Jul 12, 2024Updated 2 years ago
- Strongly typed APIs for non-empty collections, slices, iterators, and more.☆92Updated this week
- Ada Unit Testing Library☆11Aug 3, 2025Updated last year
- Bouncy Castle Rust APIs (Mirror)☆23Updated this week
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago