rodolf0 / toxLinks
misc parsers in rust
☆68Updated 7 months ago
Alternatives and similar repositories for tox
Users that are interested in tox are comparing it to the libraries listed below
Sorting:
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆164Updated last year
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆92Updated 4 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆62Updated 4 years ago
- Extendable HPC-Framework for CUDA, OpenCL and common CPU☆86Updated 5 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 7 months ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆48Updated 4 years ago
- PEG parser generator built on top of nom☆70Updated 6 years ago
- Trait generalization of the fundamental types☆48Updated last year
- Propositional logic with types in Rust☆64Updated 2 years ago
- A simple, id-based arena☆122Updated 2 years ago
- Spawn processes with arbitrary closures in rust☆113Updated 4 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆104Updated 6 years ago
- Probability-theory toolbox☆57Updated last year
- ☆78Updated 2 years ago
- D-inspired contract programming in Rust using macros☆54Updated 4 years ago
- skiplist☆144Updated 4 years ago
- A library for generating Graphviz DOT language files for graphs.☆78Updated 8 months ago
- Judy array implementation in pure Rust☆88Updated 8 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- [DEPRECATED] A simple object arena☆37Updated 4 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Basic statistical functions on streams for Rust.☆88Updated 2 years ago
- Calm I/O operations for Rust☆76Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- An idiomatic and fast QP-trie implementation in pure Rust.☆102Updated last year
- Custom derivation macro for Rust☆113Updated 8 years ago
- ☆46Updated 4 years ago
- GLL parsing framework.☆138Updated last year
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- ☆53Updated 6 years ago