rodrimati1992 / type_levelView external linksLinks
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.☆13Jan 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 2 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☆33Aug 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
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- ☆16Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- ☆10Jan 16, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- JSON-RPC 2 transport-agnostic library☆13Jan 6, 2023Updated 3 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- ☆12Mar 4, 2025Updated 11 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Ecto extensions to support auditing data changes in your Schema.☆10Dec 4, 2017Updated 8 years ago
- A web frontend for newsgroups☆16Jan 23, 2019Updated 7 years ago
- An Elixir RPC library for out-of-band messaging☆11Mar 9, 2016Updated 9 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- Apache Hadoop HDFS Data Node Scheduler☆13Jun 4, 2016Updated 9 years ago
- Diesel support for citext extension☆11Aug 17, 2020Updated 5 years ago
- Package rfc4193 implements Unique Local IPv6 Unicast Address prefix generation, as described in RFC 4193. MIT Licensed.☆12May 12, 2020Updated 5 years ago
- systemd helper service units for running services in network namespaces.☆10May 23, 2019Updated 6 years ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 10 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- ☆12Dec 19, 2024Updated last year
- A tool for formally verifying constant-time software against hardware 🕰️☆13Feb 1, 2025Updated last year
- 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
- ☆11Apr 26, 2021Updated 4 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago