Correct-by-construction non-empty collections.
☆40Aug 4, 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:
- Correct by construction non-empty list☆76Oct 3, 2025Updated last year
- Database-like Asset management on top of ECS storage☆16Aug 22, 2026Updated last month
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- Mesh generation for tree and plants, using volumetric invigoration☆15Mar 13, 2026Updated 7 months ago
- A hash table with strong order and fast iteration; access items by key or sequence index☆62Sep 5, 2026Updated last month
- 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.
- A procedural macro to generate an enum for a set of types. It also creates method and trait implementations.☆15Aug 28, 2025Updated last year
- GitHub-flavored emoji database☆15Aug 26, 2026Updated last month
- 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☆14Sep 12, 2026Updated last month
- A fantastic crate for formatting numbers using the appropriate unicode characters☆15Jan 13, 2026Updated 9 months ago
- A type-checked alternative to cfg(feature)☆21Jun 5, 2025Updated last year
- one-stop solution for async shutdown (runtime agnostic)☆22Mar 27, 2024Updated 2 years ago
- Smart Rust LOC counter, distinguising code, examples, tests and doc comments☆31Apr 19, 2026Updated 5 months ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A platform agnostic driver to interface with LSM9DS1 3D accelerometer, 3D gyroscope, 3D magnetometer sensor module.☆10Feb 24, 2024Updated 2 years ago
- Send events via a channels form anywhere (eg. web-dom, c-ffi) to Bevy Observers☆27Jun 26, 2026Updated 3 months ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 7 months ago
- plain bash algorithms☆10Feb 18, 2016Updated 10 years ago
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 9 years ago
- Access tracing logs in your bevy app using vanilla bevy_ui☆26Aug 19, 2026Updated last month
- Consistent Hashing library in Rust☆18Jun 14, 2023Updated 3 years ago
- Deadlock free mutexes☆177Mar 30, 2025Updated last year
- A variety of content chunking algorithms with a common API in rust☆18Jun 18, 2023Updated 3 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.
- A virtual machine and toolchain for a MIPS-like architecture based on balanced ternary arithmetic☆11Jan 30, 2026Updated 8 months ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 9 years ago
- A CLI utility to get info for Unicode characters☆55Oct 9, 2021Updated 5 years ago
- Hyperoperations for JavaScript!☆12Jan 1, 2026Updated 9 months ago
- Calls Module#defined after a ruby class or module is (re)defined☆15May 4, 2011Updated 15 years ago
- Easy resizing of emacs windows.☆16Oct 29, 2018Updated 7 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 5 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 years ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 📦 pack a binary to a MacOS .app bundle☆13Jun 6, 2023Updated 3 years ago
- Concurrent cross-platform terminal interface☆18Apr 15, 2023Updated 3 years ago
- Is an Iterator sorted?☆23Oct 16, 2023Updated 3 years ago
- Local semantic indexing and search for Emacs☆11Aug 23, 2025Updated last year
- Native Rust Kafka client, built upon kafka-protocol-rs and Tokio.☆10Jan 7, 2025Updated last year
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago
- ☆12Oct 2, 2021Updated 5 years ago