☆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:
- Axolotl protocol written in Rust☆14Jul 21, 2015Updated 11 years ago
- Custom derivation macro for Rust☆115Dec 5, 2017Updated 8 years ago
- ☆20Jun 21, 2015Updated 11 years ago
- ☆12Aug 26, 2016Updated 10 years ago
- ☆25Aug 30, 2018Updated 8 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.
- A rust library for showing progress of iterators and loops.☆16May 18, 2016Updated 10 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆75Oct 11, 2018Updated 7 years ago
- A web service that generates images of dependency graphs for crates hosted on crates.io☆19Aug 6, 2017Updated 9 years ago
- rwlock with writer priority and optimistic reads☆32Feb 1, 2015Updated 11 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 6 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Linear algebra formalization in Agda☆16Nov 28, 2019Updated 6 years ago
- Hyper HTTP client lib, feels more like curl. Supports file Uploads.☆12Aug 20, 2016Updated 10 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A talk about the history of Rust☆36Aug 8, 2016Updated 10 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- Create datasets with identical summary statistics☆11Jan 2, 2026Updated 8 months ago
- inofficial github graphicsmagic mirror (updated sometimes)☆21Jun 12, 2015Updated 11 years ago
- A pool of reusable values☆51Nov 10, 2019Updated 6 years ago
- Complex example for Rustless☆14Jul 4, 2015Updated 11 years 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
- A syntax extension providing higher-order attributes to Rust.☆17Dec 3, 2017Updated 8 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.
- rust github webhook server☆59Sep 3, 2017Updated 9 years ago
- My NixOS configs☆16Updated this week
- ☆13Feb 2, 2021Updated 5 years ago
- System POSIX bindings for Idris.☆35Jan 5, 2019Updated 7 years ago
- A Rust keyword argument procedural macro generator☆16Nov 28, 2015Updated 10 years ago
- Fast and flexible keyboard layout analyzer and optimizer☆19Dec 10, 2025Updated 9 months ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Rust's .yolo()☆21May 6, 2017Updated 9 years ago
- Fully typed SQL query builder for Rust [deprecated]☆170Jul 8, 2018Updated 8 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.
- SPREAD☆20Mar 19, 2021Updated 5 years ago
- Cubes over ElasticSearch. Aggregation library for Business Intelligence☆20Dec 14, 2014Updated 11 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Mar 17, 2020Updated 6 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Aug 6, 2018Updated 8 years ago
- Fast cryptographic networking for Haskell☆24Dec 29, 2012Updated 13 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Scary macros for serde_json☆43Aug 24, 2016Updated 10 years ago