☆16Apr 14, 2016Updated 9 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:
- ☆24Aug 30, 2018Updated 7 years ago
- Custom derivation macro for Rust☆113Dec 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 9 years ago
- ☆20Jun 21, 2015Updated 10 years ago
- ☆12Aug 26, 2016Updated 9 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆75Oct 11, 2018Updated 7 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 5 years ago
- Linear algebra formalization in Agda☆16Nov 28, 2019Updated 6 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 4 years ago
- A Python teaching tool☆20Aug 24, 2012Updated 13 years ago
- A talk about the history of Rust☆37Aug 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 2 months ago
- A pool of reusable values☆51Nov 10, 2019Updated 6 years ago
- A little music player in rust with rsfml and rfmod☆25May 2, 2018Updated 7 years ago
- psql plugin for Nu Shell☆21Mar 4, 2025Updated last year
- Rust's .yolo()☆21May 6, 2017Updated 8 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
- 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
- My NixOS configs☆16Updated this week
- Fast and flexible keyboard layout analyzer and optimizer☆17Dec 10, 2025Updated 3 months 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 9 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Aug 6, 2018Updated 7 years ago
- Julia interface to the HSA runtime, for supporting AMD GPUs☆15Aug 13, 2020Updated 5 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago