A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
☆28Feb 2, 2021Updated 5 years ago
Alternatives and similar repositories for array-forth
Users that are interested in array-forth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Calculating with dynamic integers in Forth☆17Jan 27, 2018Updated 8 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- a forth like language written in fasm assembler☆14Jul 27, 2016Updated 10 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 10 years ago
- DeOS: Decentralized Operating System☆13Jul 21, 2017Updated 9 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.
- Presentations-software in Forth☆13Dec 3, 2021Updated 4 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- Script to check ticketing system for remaining tickets☆11Aug 7, 2016Updated 10 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 9 years ago
- Experimental subroutine threaded and optimized version of CoreForth☆14Aug 3, 2019Updated 7 years ago
- ☆13May 18, 2026Updated 5 months ago
- AllegroForthKit: A game programming framework built on Allegro 5.☆22Sep 26, 2019Updated 7 years ago
- stack-based RPN functional programming language☆57Jul 5, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Linux X86_32 Fortth compiler. Formerly known as IsForth.☆19Mar 6, 2025Updated last year
- SP-Forth x64☆16Oct 30, 2014Updated 12 years ago
- Haskell functions for working with posix paths☆13Mar 13, 2026Updated 7 months ago
- A Java implementation of the Shen programming language☆29May 13, 2019Updated 7 years ago
- An edn implementation for Objective-C platforms (i.e. iOS, OSX).☆14Feb 9, 2015Updated 11 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 9 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- Clojure program to exhaustively search for optimal Java programs☆22Sep 5, 2012Updated 14 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15May 28, 2016Updated 10 years ago
- Lua parser and pretty-printer☆15May 13, 2024Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Interpreter for the Joy programming language, written in JavaScript☆15Oct 3, 2018Updated 8 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- Arrayfire bindings for J language☆10Sep 18, 2017Updated 9 years ago
- tiny hack for colored pretty-printing within ghci☆21Sep 6, 2022Updated 4 years ago
- A BitTorrent client library written in Haskell.☆23Aug 3, 2014Updated 12 years ago
- Wiki for urbit☆10Mar 10, 2018Updated 8 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.
- laser-cutting experiments for bootstrapping planar fabrication☆26Sep 13, 2016Updated 10 years ago
- Fun playing around with colorForth and GreenArrays architecture.☆139Nov 25, 2025Updated 11 months ago
- Minimalist libraries as extensions to ANS Forth☆27Jun 25, 2024Updated 2 years ago
- FORTH-like language for Javascript / Node☆51Jun 9, 2013Updated 13 years ago
- JSONPath library to complement Play's json library☆15Nov 30, 2018Updated 7 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 4 months ago
- 64-bit implementation of Forth☆54Jul 29, 2026Updated 3 months ago