Ashymad / fortraithLinks
Forth for Rust's trait system
☆230Updated 4 years ago
Alternatives and similar repositories for fortraith
Users that are interested in fortraith are comparing it to the libraries listed below
Sorting:
- 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
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆236Updated 8 years ago
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆204Updated 3 years ago
- Rust bindings for libgccjit.☆51Updated 2 years ago
- Garbage collected smart pointers for Rust☆268Updated 3 years ago
- Pure functional Lisp implemented in Rust☆208Updated 3 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A JIT experiment in Rust☆138Updated 11 months ago
- garbage collection☆321Updated 5 years ago
- Rust Lisp expression parser and serializer☆175Updated 9 months ago
- ☆258Updated 6 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Lisp-like DSL for Rust language☆431Updated last year
- A demand-driven compiler with strong IDE support☆196Updated 2 years ago
- GLL parsing framework.☆137Updated last year
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- ☆94Updated last year
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆143Updated last week
- A clean, efficient parser combinator☆124Updated 3 years ago
- vonuvoli Scheme -- an R7RS interpreter written in Rust focused on systems programming and scripting (i.e. processes, file-system, etc.) w…☆179Updated 9 months ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- A C compiler written in Rust, with a focus on good error messages.☆295Updated 3 months ago
- Macros have types!☆129Updated 2 years ago
- Please do not use this.☆174Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆618Updated 4 years ago
- A functional programming language☆48Updated 4 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆263Updated last year