Ashymad / fortraith
Forth for Rust's trait system
☆228Updated 4 years ago
Alternatives and similar repositories for fortraith:
Users that are interested in fortraith are comparing it to the libraries listed below
- a pragmatic point-free theorem prover assistant☆137Updated last year
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆364Updated 3 years ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆202Updated 3 years ago
- Rust Lisp expression parser and serializer☆167Updated 4 months ago
- A pure functional language for type-level programming in Rust☆324Updated 2 years ago
- Pure functional Lisp implemented in Rust☆207Updated 3 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- Lisp-like DSL for Rust language☆427Updated last year
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆233Updated 7 years ago
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- garbage collection☆319Updated 5 years ago
- Garbage collected smart pointers for Rust☆267Updated 3 years ago
- GLL parsing framework.☆137Updated 9 months ago
- Please do not use this.☆173Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆613Updated 3 years ago
- ☆92Updated last year
- Macros have types!☆129Updated last year
- A meta-JIT library for Rust interpreters☆161Updated last year
- An insanely simple self-hosted functional programming language☆152Updated 5 years ago
- ☆256Updated last month
- A JIT experiment in Rust☆133Updated 6 months ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆259Updated last year
- Rust bindings for libgccjit.☆49Updated last year
- A demand-driven compiler with strong IDE support☆195Updated 2 years ago
- a simple yet comprehensive scheme interpreter in rust☆77Updated 4 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- This is a space where I express my thoughts and opinions on mostly technical things☆135Updated 2 months ago
- VGA-style video output for STM32F4 processors, in Rust☆153Updated 2 years ago
- A clean, efficient parser combinator☆124Updated 2 years ago