Ashymad / fortraithLinks
Forth for Rust's trait system
☆230Updated 5 years ago
Alternatives and similar repositories for fortraith
Users that are interested in fortraith are comparing it to the libraries listed below
Sorting:
- Rust bindings for libgccjit.☆52Updated 2 years ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆372Updated 4 years ago
- a pragmatic point-free theorem prover assistant☆143Updated last month
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆238Updated 8 years ago
- Pure functional Lisp implemented in Rust☆208Updated 3 years ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆202Updated 3 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆253Updated 3 years ago
- ☆94Updated 2 years ago
- Rust Lisp expression parser and serializer☆186Updated last year
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Garbage collected smart pointers for Rust☆270Updated 3 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- garbage collection☆323Updated 6 years ago
- DVCS based on a sound theory of patches☆137Updated 3 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- A C compiler written in Rust, with a focus on good error messages.☆302Updated 8 months ago
- Lisp-like DSL for Rust language☆434Updated 2 years ago
- A functional programming language☆48Updated 5 years ago
- This is a space where I express my thoughts and opinions on mostly technical things☆164Updated 4 months ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆92Updated 4 years ago
- A JIT experiment in Rust☆140Updated last year
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 5 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆102Updated last year
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- GLL parsing framework.☆138Updated last year
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆171Updated 7 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago
- Embeddable TCL Interpreter for Rust applications☆116Updated 3 years ago