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
- DeOS: Decentralized Operating System☆13Jul 21, 2017Updated 9 years ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated 2 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 9 years ago
- stack-based RPN functional programming language☆56Jul 5, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SP-Forth x64☆16Oct 30, 2014Updated 11 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 10 years ago
- A Java implementation of the Shen programming language☆28May 13, 2019Updated 7 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 8 years ago
- a forth like language written in fasm assembler☆14Jul 27, 2016Updated 9 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- ☆15May 28, 2016Updated 10 years ago
- A very compact stack machine (Forth) bytecode☆34Nov 9, 2012Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- tiny hack for colored pretty-printing within ghci☆21Sep 6, 2022Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Forth engine in JavaScript☆64Apr 22, 2022Updated 4 years ago
- JSONPath library to complement Play's json library☆14Nov 30, 2018Updated 7 years ago
- Minimalist libraries as extensions to ANS Forth☆27Jun 25, 2024Updated 2 years ago
- Arrayfire bindings for J language☆10Sep 18, 2017Updated 8 years ago
- A BitTorrent client library written in Haskell.☆23Aug 3, 2014Updated 11 years ago
- Wiki for urbit☆10Mar 10, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- laser-cutting experiments for bootstrapping planar fabrication☆26Sep 13, 2016Updated 9 years ago
- FORTH-like language for Javascript / Node☆51Jun 9, 2013Updated 13 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆24Mar 9, 2021Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆22Jun 4, 2026Updated last month
- Fun playing around with colorForth and GreenArrays architecture.☆138Nov 25, 2025Updated 7 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆72Jan 2, 2011Updated 15 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The SubScript extension to the Scala programming language☆12May 20, 2015Updated 11 years ago
- Distributed programming language that desugars to Morte☆93Sep 4, 2022Updated 3 years ago
- Forth interpreter in F#☆17Oct 26, 2023Updated 2 years ago
- CCPU for GA144☆23Jul 11, 2018Updated 8 years ago
- Library of Intuitive Ordinal Notations (IONs)☆11May 8, 2020Updated 6 years ago
- Clojure Solr 8 wrapper☆20Jul 21, 2023Updated 2 years ago
- Erlang NIF driver for LMDB, a fast, compact and transactional key-value data store☆59Feb 21, 2018Updated 8 years ago