Type-level interfaces for type-level design in Rust
☆25Feb 3, 2025Updated last year
Alternatives and similar repositories for type-level-interfaces-in-rust
Users that are interested in type-level-interfaces-in-rust are comparing it to the libraries listed below
Sorting:
- ☆12Jan 8, 2022Updated 4 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆16Aug 30, 2025Updated 6 months ago
- Some interesting Rust patterns☆15May 21, 2020Updated 5 years ago
- ☆15Nov 12, 2024Updated last year
- ☆36Jun 7, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Library for modelling Rust applications with actors☆20Nov 24, 2025Updated 3 months ago
- A Neovim command-mode parser. Similar to Python's argparse module☆22Nov 28, 2025Updated 3 months ago
- Create a procedurally generated character set for your own alien language☆21Feb 21, 2020Updated 6 years ago
- The Cheddar GLSL superset language☆27Sep 30, 2018Updated 7 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆44Feb 20, 2026Updated last week
- Work-in-progress functional dependently typed programming language☆30Updated this week
- Rust library for scheduling, managing resources, and running DAGs 🌙☆38Jan 27, 2025Updated last year
- 🌈🙈 HDR -> display☆33Feb 11, 2023Updated 3 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Mod merging tool for The Witcher 3: Wild Hunt [C++, Qt5]☆12Nov 4, 2016Updated 9 years ago
- Rust implementation/translation of LAZ (Laszip) compression☆42Jan 25, 2026Updated last month
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Updated this week
- Simple framework for symbolic manipulation☆11Nov 6, 2024Updated last year
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- A Play! Framework tiny log enhancer☆17Oct 27, 2011Updated 14 years ago
- C++ template containers with optimized memory consumption☆12Updated this week
- SPARK 2014 repository for the Why3 verification platform.☆35Feb 10, 2026Updated 3 weeks ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- A stealth wallet contract using the BLS12-381 curve for Cardano.☆13Oct 26, 2025Updated 4 months ago
- Stripped down versions of several archlinux packages, former name llvm-libs-debloated. [Maintainer=@Samueru-sama]☆14Updated this week
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago
- Generate static parallel computation graph from DSL at compile time☆11Nov 6, 2024Updated last year
- Neovim plugins database used by plugnplay☆11Mar 3, 2025Updated last year
- A little tutorial to use the Newgrounds medals system with PICO-8☆16Jul 23, 2018Updated 7 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Nov 5, 2011Updated 14 years ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- Java plugin for Neotest☆11Dec 7, 2023Updated 2 years ago
- https://bit.ly/aprendarust☆10Oct 28, 2022Updated 3 years ago
- ☆10Aug 12, 2023Updated 2 years ago