Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust
☆12Apr 6, 2018Updated 7 years ago
Alternatives and similar repositories for rfc-trait-parametric-polymorphism
Users that are interested in rfc-trait-parametric-polymorphism are comparing it to the libraries listed below
Sorting:
- watt-based inline procedural macros☆14Jul 17, 2020Updated 5 years ago
- Finding ownership bugs at scale.☆32Updated this week
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Aug 6, 2018Updated 7 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Oct 15, 2018Updated 7 years ago
- Easy and safe destructuring for more types.☆33Nov 14, 2025Updated 3 months ago
- Unsafe marker trait for types that deref to a stable address☆35Oct 9, 2025Updated 4 months ago
- A small Rust library that allows users to reinterpret data of certain types safely.☆41Aug 26, 2021Updated 4 years ago
- A procedural macro helper for easily writing custom derives for enums.☆35Updated this week
- Create database files for the genealogytree LaTeX package from GEDCOM files☆11Mar 11, 2025Updated 11 months ago
- ☆40Feb 14, 2019Updated 7 years ago
- ☆43Aug 20, 2023Updated 2 years ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- Error management☆27Mar 2, 2018Updated 8 years ago
- A library for writing Internet Relay Chat (IRC) bots in the Rust programming language (@rust-lang).☆34Oct 19, 2020Updated 5 years ago
- My personal NixOS configs☆13Updated this week
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- IPC primitives for Rust☆11Sep 3, 2019Updated 6 years ago
- A cross-platform text only clipboard facade for terminal applications written in Rust☆11Oct 31, 2023Updated 2 years ago
- Backup system for system administrators who require reliable backups with minimum fuss.☆22Jan 1, 2026Updated 2 months ago
- A PowerShell environment for Subversion☆12Jan 8, 2019Updated 7 years ago
- Traversals in Rust☆21Oct 10, 2016Updated 9 years ago
- Type-Level Arithmetic in Rust☆10Jan 11, 2016Updated 10 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- Sources for Elm Repl in browser☆10Dec 6, 2022Updated 3 years ago
- Lightweight path selector for searching Rust code☆16May 22, 2023Updated 2 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- The secure, transparent, auditable, reliable electronic voting system☆14Oct 6, 2016Updated 9 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Personal cheat sheet (moved off betaveros.github.io)☆11Jan 5, 2025Updated last year
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- my nix-darwin config☆13Feb 24, 2026Updated last week
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 3 years ago
- Scripts for undervolting 6+th gen Intel i* CPUs and their internal GPU.☆10Feb 19, 2018Updated 8 years ago
- Homebrew formulae for numerical methods☆11Dec 27, 2021Updated 4 years ago