A dependent type system built entirely in Rust's trait system (WIP).
☆27Oct 15, 2018Updated 8 years ago
Alternatives and similar repositories for dependent_traits
Users that are interested in dependent_traits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 7 years ago
- Experimental type level programming in Rust☆43Jul 19, 2021Updated 5 years ago
- Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust☆12Apr 6, 2018Updated 8 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 9 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.
- Lennart Augustsson's lamda cube☆12Jul 13, 2016Updated 10 years ago
- High performance LOUDS (Level-Order Unary Degree Sequence) library☆38Jul 19, 2024Updated 2 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- A non-interactive proof assistant using the Haskell type system☆40Apr 11, 2020Updated 6 years ago
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 7 years ago
- A Rustified OpenCL Experience☆46May 18, 2023Updated 3 years ago
- Work-in-progress Unicode paragraph layout library written in Rust☆13Jun 7, 2018Updated 8 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.
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 8 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Sep 28, 2026Updated last month
- ☆14Aug 5, 2026Updated 2 months ago
- Riverse — A personal AI agent designed for your own devices. Persistent memory, offline cognition, grows with every conversation. Riv…☆14Jul 24, 2026Updated 3 months ago
- A Racket optics library including a match-like DSL for immutable updates☆12Oct 6, 2025Updated last year
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 10 months ago
- slides of the 2019 libre graphics meeting☆14Jun 5, 2019Updated 7 years ago
- UX Primitives is a core graphic and color abstraction for Angular Rust☆10Jun 2, 2022Updated 4 years ago
- Example row-polymorphism implementations☆61Oct 3, 2023Updated 3 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.
- Collection of typed data structures, trait operators and aliases☆52Sep 27, 2020Updated 6 years ago
- Antialiased 2D vector drawing library written in rust☆14Mar 19, 2021Updated 5 years ago
- A set of Objective-C classes that helps manipulate Western Musical Scales and Chords.☆14May 14, 2017Updated 9 years ago
- Logic programming, for Rust, from inside Rust.☆45Mar 6, 2020Updated 6 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 7 years ago
- Declarative audio engine☆11Mar 16, 2020Updated 6 years ago
- ☆21Mar 21, 2022Updated 4 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Work in progress - Servo Embedding API proposol☆26Nov 11, 2016Updated 9 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.
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- An automatic first-order theorem prover in Haskell☆12Oct 16, 2015Updated 11 years ago
- ☆16Sep 30, 2021Updated 5 years ago
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- UNixize Filename -- replace annoying anti-unix characters in filenames☆68Apr 7, 2023Updated 3 years ago
- Type checked partial references for rust☆16Aug 23, 2026Updated 2 months ago
- A library for querying connected PCI devices and a pci.ids parser.☆24Dec 13, 2021Updated 4 years ago