☆16Apr 14, 2016Updated 10 years ago
Alternatives and similar repositories for newtype_macros
Users that are interested in newtype_macros are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Aug 30, 2018Updated 7 years ago
- Custom derivation macro for Rust☆114Dec 5, 2017Updated 8 years ago
- Axolotl protocol written in Rust☆14Jul 21, 2015Updated 10 years ago
- A rust library for showing progress of iterators and loops.☆16May 18, 2016Updated 10 years ago
- ☆20Jun 21, 2015Updated 10 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.
- ☆12Aug 26, 2016Updated 9 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Title says it all, doesn't it?☆21Aug 3, 2014Updated 11 years ago
- A web service that generates images of dependency graphs for crates hosted on crates.io☆19Aug 6, 2017Updated 8 years ago
- rwlock with writer priority and optimistic reads☆33Feb 1, 2015Updated 11 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 6 years ago
- Hyper HTTP client lib, feels more like curl. Supports file Uploads.☆12Aug 20, 2016Updated 9 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A talk about the history of Rust☆36Aug 8, 2016Updated 9 years ago
- inofficial github graphicsmagic mirror (updated sometimes)☆17Jun 12, 2015Updated 10 years ago
- Create datasets with identical summary statistics☆11Jan 2, 2026Updated 4 months ago
- A little music player in rust with rsfml and rfmod☆25May 2, 2018Updated 8 years ago
- psql plugin for Nu Shell☆21Mar 4, 2025Updated last year
- Rust's .yolo()☆21May 6, 2017Updated 9 years ago
- Complex example for Rustless☆13Jul 4, 2015Updated 10 years ago
- rust github webhook server☆59Sep 3, 2017Updated 8 years ago
- A syntax extension providing higher-order attributes to Rust.☆17Dec 3, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- A highly-flexible thread pool for Rust☆180Mar 4, 2016Updated 10 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- Fully typed SQL query builder for Rust [deprecated]☆170Jul 8, 2018Updated 7 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Mar 17, 2020Updated 6 years ago
- And I'll look down and whisper "GNO."☆59Aug 11, 2016Updated 9 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Aug 6, 2018Updated 7 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.
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Jan 17, 2017Updated 9 years ago
- OAuth 2.0 compliant token server with authentication proxy capabilities☆68Mar 15, 2016Updated 10 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 years ago
- ☆17Jan 3, 2025Updated last year
- Cryptographic signatures for auditing unsafe code in Rust☆55Jan 19, 2015Updated 11 years ago
- A future & stream abstraction for Rust☆244Aug 24, 2016Updated 9 years ago