Libraries for declaring and using type-level values.
☆11Mar 28, 2019Updated 6 years ago
Alternatives and similar repositories for type_level
Users that are interested in type_level are comparing it to the libraries listed below
Sorting:
- A dependent type system built entirely in Rust's trait system (WIP).☆25Oct 15, 2018Updated 7 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Jan 13, 2026Updated last month
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Experimental type level programming in Rust☆41Jul 19, 2021Updated 4 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 3 months ago
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 9 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Sep 11, 2024Updated last year
- Router extension to yew☆27Oct 10, 2019Updated 6 years ago
- Repository for the article Explaining Atomics in Rust☆33Jan 13, 2020Updated 6 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- Sort of Lambdas for gcc☆32Aug 30, 2019Updated 6 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Dec 13, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- ☆10Jan 16, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- A web frontend for newsgroups☆16Jan 23, 2019Updated 7 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- ☆17Feb 10, 2026Updated 3 weeks ago
- This library is a workaround until futures-rs and error-chain crates works out-of-box with each other☆13May 18, 2017Updated 8 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- Implements URL handling methods as postgres extension☆12Mar 4, 2023Updated 3 years ago
- Communicate with OpenAi's GPT3.5 and GPT4 (ChatGPT) API.☆11Apr 7, 2023Updated 2 years ago
- Micro-blogging engine☆58Sep 2, 2013Updated 12 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- Drop-in for ⍎ to execute arbitrary APL code safely☆11Feb 24, 2026Updated last week
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 10 years ago
- Cache built via mnesia which support expiration and cluster. (mcc is "mnesia cluster cache")☆12Aug 15, 2019Updated 6 years ago