Correct-by-construction non-empty collections.
☆37Apr 25, 2026Updated last week
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☆73Oct 3, 2025Updated 7 months ago
- Low overhead Rust implementation of time-related concepts☆12Apr 14, 2026Updated 3 weeks ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- Maintenance Fork of hyper-proxy, A proxy connector for Hyper-based crates☆14Oct 29, 2025Updated 6 months ago
- Configure const and static items by environment variables.☆27Nov 19, 2025Updated 5 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.
- Send events via a channels form anywhere (eg. web-dom, c-ffi) to Bevy Observers☆26Jan 13, 2026Updated 3 months ago
- ☆23Apr 30, 2026Updated last week
- GitHub-flavored emoji database☆15Sep 19, 2023Updated 2 years ago
- The cumulative sibling of `Result` and `Either`.☆24Jun 30, 2025Updated 10 months ago
- Access tracing logs in your bevy app using vanilla bevy_ui☆23Mar 31, 2026Updated last month
- A fantastic crate for formatting numbers using the appropriate unicode characters☆15Jan 13, 2026Updated 3 months ago
- An implementation of memcpy for amd64 with clang/gcc☆14Feb 7, 2022Updated 4 years ago
- A collection of Common Lisp utilities to ratify, validate and parse inputs.☆31Aug 13, 2025Updated 8 months ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- VFX editor for Bevy and Hanabi☆131Jul 10, 2025Updated 9 months ago
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 8 years ago
- An ansible role to install an HA Kubernetes cluster☆13Feb 2, 2020Updated 6 years ago
- Local semantic indexing and search for Emacs☆11Aug 23, 2025Updated 8 months ago
- Depreciated in favor of datalake-kubernetes. Collection of Kubernetes Big Data ecosystem products helm charts☆11Aug 9, 2018Updated 7 years ago
- Consistent Hashing library in Rust☆18Jun 14, 2023Updated 2 years ago
- Deadlock free mutexes☆178Mar 30, 2025Updated last year
- Concurrent cross-platform terminal interface☆19Apr 15, 2023Updated 3 years ago
- A CLI utility to get info for Unicode characters☆54Oct 9, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Strongly typed APIs for non-empty collections, slices, and iterators.☆88Apr 19, 2026Updated 2 weeks ago
- Derive macro for generating arrays from struct fields.☆20Apr 8, 2026Updated 3 weeks ago
- A variety of content chunking algorithms with a common API in rust☆18Jun 18, 2023Updated 2 years ago
- 📦 pack a binary to a MacOS .app bundle☆13Jun 6, 2023Updated 2 years 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
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated 10 months ago
- SPLIT-SEQUENCE is a member of the Common Lisp Utilities family of programs, designed by community consensus.☆39Dec 5, 2021Updated 4 years ago
- NumSharp compact version without full datatype supported.☆11Jan 23, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- A binary format for Rust / serde that supports schema evolution☆18Feb 10, 2025Updated last year
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Image processing DSL implemented in C-Mera☆10Dec 12, 2016Updated 9 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆16Updated this week
- An AI-powered GitHub Issue Labeler☆29May 28, 2025Updated 11 months ago