gs0510 / rustraceLinks
Strace in Rust
☆48Updated 3 years ago
Alternatives and similar repositories for rustrace
Users that are interested in rustrace are comparing it to the libraries listed below
Sorting:
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆39Updated 6 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Rust declarative static analysis with macro-like syntax☆15Updated 6 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- Partial function application macro for Rust☆47Updated 4 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A static files server helper for the tide web framework (not production ready)☆10Updated 5 years ago
- ☆11Updated 6 years ago
- dynamic smart pointers☆32Updated 6 years ago
- ☆40Updated 6 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 months ago
- ☆21Updated 6 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- Some notes on various topics.☆67Updated this week
- Demonstration crate for the tango literate programming tool.☆36Updated 3 years ago
- Experiment to get k-combinations working as a const fn☆13Updated 3 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- JS affine☆66Updated 5 years ago
- A library which finds language features in rust code and provides resources on them.☆39Updated 7 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- ☆54Updated 5 years ago
- ☆27Updated 4 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- A golden file testing library for rust☆33Updated 2 months ago
- Like wc, but unicode-aware, and with per-line mode.☆39Updated 9 months ago
- Kari, an embeddable programming language, written in and for Rust☆29Updated 2 years ago
- Coordination repository of the portability Working Group (WG)☆42Updated 3 years ago