An accessible Forth written in machine code for the RISC-V architecture.
☆25Jan 19, 2026Updated 7 months ago
Alternatives and similar repositories for SmithForth_RISC-V
Users that are interested in SmithForth_RISC-V are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker images for popular Forth systems☆29Feb 10, 2024Updated 2 years ago
- simple game in forth☆15Jul 27, 2009Updated 17 years ago
- Random assortment of Forth programs that solve CS 101 sort of problems.☆13Jun 23, 2026Updated 2 months ago
- GNU Make Standard Library: a library of functions written for GNU Make using GNU Make's built in functions (full CVS history from https:/…☆12Nov 29, 2017Updated 8 years ago
- Forth OS UEFI☆13Jan 10, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Green Arrays Forth chip F18A simulator☆19Apr 7, 2026Updated 4 months ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆11Mar 8, 2016Updated 10 years ago
- Forth Literate Programming with IPython notebook☆21Sep 28, 2013Updated 12 years ago
- YAML parser for Dyalog APL☆14Oct 30, 2023Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- Bruce Hoyt's Forth Editor (Dad's editor that I grew up coding with)☆27Aug 3, 2023Updated 3 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- Lua + Love2d port of the Uxn Virtual Machine☆20May 1, 2023Updated 3 years 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.
- ☆20May 10, 2025Updated last year
- A very compact stack machine (Forth) bytecode☆34Nov 9, 2012Updated 13 years ago
- Mecrisp Stellaris console via ST/LINK V2☆17Feb 14, 2022Updated 4 years ago
- JonesForth ARM64 with APL symbols☆39Jul 25, 2026Updated last month
- Forth kernels written in JavaScript and Python.☆28Dec 18, 2025Updated 8 months ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆20Jan 25, 2024Updated 2 years ago
- Test programs for Forth 2012 and ANS Forth☆84Aug 1, 2025Updated last year
- A minimal Forth booter disk environment☆21Dec 11, 2013Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Linux virtual Ethernet driver and utility enabling BL808 Linux to use on-chip Wi-Fi☆24Dec 4, 2023Updated 2 years ago
- NASM port of JONESFORTH!☆59Sep 27, 2023Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 9 months ago
- LD linker script grammar for tree-sitter☆11Nov 19, 2023Updated 2 years ago
- Rethinking Forth☆113Jul 1, 2020Updated 6 years ago
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- A FORTH in 340 bytes — the smallest real programming language ever as of yet.☆641Aug 18, 2024Updated 2 years ago
- SP-Forth☆69Aug 18, 2026Updated 2 weeks ago
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Source code for 'Beginning RPG Maker MV' by Darrin Perez☆13Mar 28, 2017Updated 9 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆25Jan 3, 2025Updated last year
- ☆15May 1, 2023Updated 3 years ago
- Hello Deep Learning☆17Apr 20, 2024Updated 2 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- A programmable virtual CPU written in untyped lambda calculus☆70Oct 20, 2022Updated 3 years ago
- b4 : a tiny forth-like virtual machine☆40Jun 30, 2026Updated 2 months ago