Forth for Rust's trait system
☆233Jun 12, 2020Updated 6 years ago
Alternatives and similar repositories for fortraith
Users that are interested in fortraith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆373Jan 31, 2021Updated 5 years ago
- A pure functional language for type-level programming in Rust☆344Nov 12, 2022Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆143Sep 21, 2025Updated last year
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 6 years ago
- Forth emulator, as a Racket #lang☆21Feb 20, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.☆504May 7, 2022Updated 4 years ago
- A clean, efficient parser combinator☆124Feb 15, 2022Updated 4 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 6 years ago
- You might not need your garbage collector☆540May 15, 2020Updated 6 years ago
- Stackless generators on stable Rust.☆488Jun 24, 2022Updated 4 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆251Oct 23, 2022Updated 4 years ago
- Combine a reader + writer into a duplex of Read + Write☆42Oct 15, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tool for working with Forth code blocks☆12Jun 3, 2026Updated 5 months ago
- generators☆211Sep 20, 2023Updated 3 years ago
- Alternative rust compiler (re-implementation)☆2,553Updated this week
- Cranelift code generator☆2,509Jun 26, 2020Updated 6 years ago
- A C compiler written in Rust, with a focus on good error messages.☆305Feb 4, 2025Updated last year
- A rust crate to offer compile-time assistance for working with unsafe code.☆123Oct 11, 2021Updated 5 years ago
- Forth Calculator's Language☆22Jul 16, 2025Updated last year
- A Small Lisp in Forth☆160Apr 21, 2021Updated 5 years ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆378Aug 18, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆30Apr 26, 2024Updated 2 years ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,222Aug 3, 2026Updated 3 months ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- A library for to allow multiple return types by automatically generated enum.☆380Oct 10, 2026Updated 3 weeks ago
- Garbage collected smart pointers for Rust☆270Jan 16, 2022Updated 4 years ago
- LLVM frontend for the Forth Language☆92Mar 23, 2024Updated 2 years ago
- REGex in Rust with EcmaScript Syntax☆225Updated this week
- Execute your code on the Rust ecosystem.☆199Oct 21, 2026Updated 2 weeks ago
- Manual segmented stacks for Rust☆358Aug 19, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 5 years ago
- The tiniest sort☆14Apr 1, 2020Updated 6 years ago
- A syn targetting PEG parser generator☆20Jun 11, 2023Updated 3 years ago
- Type-safe transmutations between layout-compatible types.☆121Aug 11, 2020Updated 6 years ago
- A Rust crate that allows you to match, bind, and pack the individual bits of integers.☆116Apr 20, 2020Updated 6 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆18Mar 6, 2025Updated last year
- An attribute macro for creating a `Standard` distribution for rust types☆16May 18, 2021Updated 5 years ago