A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.
☆22Jan 2, 2026Updated 2 months ago
Alternatives and similar repositories for uy
Users that are interested in uy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Allows for proper and easy handling of volatile memory☆41May 15, 2024Updated last year
- Improve and strengthen your strings by making them strongly-typed with less boilerplate☆36Mar 13, 2026Updated 2 weeks ago
- Asynchronous pipelines of contiguous data, for rust.☆18Oct 9, 2023Updated 2 years ago
- A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)☆17Mar 20, 2026Updated last week
- ☆11Jul 14, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- converts catgirls to gds files☆15May 24, 2021Updated 4 years ago
- Kicad design files for the Portal Hardware Wallet☆12Jul 16, 2024Updated last year
- ☆15Aug 27, 2025Updated 7 months ago
- Gallery of 4K Executable Graphics artworks from the Demoscene.☆28Aug 19, 2025Updated 7 months ago
- Various mechanized proof files for fun.☆13Mar 9, 2026Updated 2 weeks ago
- A meta-JIT library for Rust interpreters☆164Feb 13, 2023Updated 3 years ago
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- A Bullish Shell for a Basic Bitcoin Lisp Language☆17Jul 8, 2025Updated 8 months ago
- Synchronization primitives for lazy and one-time initialization (no_std compatible).☆34Mar 29, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Shhh☆27Feb 14, 2022Updated 4 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 9 months ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- ☆15Apr 28, 2025Updated 10 months ago
- Bare-metal allocators.☆76Aug 23, 2022Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- A concise, self-describing binary format written in Rust for Serde☆68Aug 18, 2024Updated last year
- Liquid network functionary code☆16Jun 11, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Macro to generate bitfields for structs that allow for modular use of enums.☆219Dec 6, 2025Updated 3 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43May 1, 2016Updated 9 years ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Utility to run a regtest electrsd process connected to a given bitcoind instance, useful in integration testing environment.☆25Dec 18, 2025Updated 3 months ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 8 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 7 years ago
- Tracing layer to quickly inspect spans and events☆40May 8, 2023Updated 2 years 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.
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last month
- libsodium for Ada - A secure cryptographic library☆11Jul 18, 2016Updated 9 years ago
- Official rust implementation of the Kadcast P2P protocol for ultra-efficient message dissemination within Dusk Network☆27Mar 5, 2026Updated 3 weeks ago
- Routing library taking advantage of the MOP☆13Jul 1, 2018Updated 7 years ago
- Windows Classic style for GitHub☆11Jul 10, 2019Updated 6 years ago
- A general, modular build system.☆18Aug 13, 2025Updated 7 months ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago