Ashymad / fortraithLinks
Forth for Rust's trait system
☆229Updated 5 years ago
Alternatives and similar repositories for fortraith
Users that are interested in fortraith are comparing it to the libraries listed below
Sorting:
- Pure functional Lisp implemented in Rust☆208Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆368Updated 4 years ago
- Rust Lisp expression parser and serializer☆176Updated 10 months ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆251Updated 2 years ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆238Updated 8 years ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆203Updated 3 years ago
- Rust bindings for libgccjit.☆51Updated 2 years ago
- Garbage collected smart pointers for Rust☆269Updated 3 years ago
- A demand-driven compiler with strong IDE support☆196Updated 3 years ago
- garbage collection☆321Updated 5 years ago
- A JIT experiment in Rust☆139Updated last year
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year
- ☆95Updated last year
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Embeddable TCL Interpreter for Rust applications☆112Updated 2 years ago
- DVCS based on a sound theory of patches☆136Updated 3 years ago
- A C compiler written in Rust, with a focus on good error messages.☆301Updated 5 months ago
- A clean, efficient parser combinator☆124Updated 3 years ago
- A pure functional language for type-level programming in Rust☆331Updated 2 years ago
- An insanely simple self-hosted functional programming language☆157Updated 5 years ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- GLL parsing framework.☆137Updated last year
- A stripped-down version of Git, implemented in Rust☆135Updated last year
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago
- a simple yet comprehensive scheme interpreter in rust☆79Updated 4 years ago
- A functional programming language☆48Updated 4 years ago
- primal puts raw power into prime numbers.☆122Updated 9 months ago
- Playing with Rust. Let's create a Lisp!☆66Updated 4 years ago