rodolf0 / tox
misc parsers in rust
☆66Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for tox
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A simple, id-based arena☆113Updated last year
- A framework for processing the output of a pest-generated parser☆47Updated 7 months ago
- Probability-theory toolbox☆55Updated 9 months ago
- [DEPRECATED] A simple object arena☆37Updated 3 years ago
- A library for generating Graphviz DOT language files for graphs.☆73Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Propositional logic with types in Rust☆60Updated last year
- PEG parser generator built on top of nom☆69Updated 5 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆108Updated 4 years ago
- Rust library for safely and explicitly parsing untrusted data☆51Updated 6 months ago
- ☆123Updated 2 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Small and fast library for k-means clustering.☆41Updated last month
- An unordered multiset/bag implementation backed by HashMap☆64Updated 8 months ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆88Updated 3 years ago
- An ordered multimap.☆20Updated last month
- Typed index version of Rust slice and Vec containers☆66Updated last month
- ☆81Updated 7 months ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 years ago
- Calm I/O operations for Rust☆75Updated 3 years ago
- GLL parsing framework.☆138Updated 7 months ago
- Spawn processes with arbitrary closures in rust☆108Updated 3 years ago
- Blazing fast immutable collection datatypes for Rust.☆84Updated 4 months ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- Dynamically query a type-erased object for any trait implementation☆65Updated 2 years ago
- Tutorial and demo of rust compiler replacement tooling☆55Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month