"Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts for Parallel Programming" by Ian Foster and Stephen Taylor. Import from http://www.call-with-current-continuation.org/strand/strand.html
☆14Apr 27, 2021Updated 5 years ago
Alternatives and similar repositories for strand
Users that are interested in strand are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆30Aug 20, 2021Updated 5 years ago
- WIP Docs for scopes newbs☆15Jan 31, 2026Updated 8 months ago
- Alternative runtime library for C☆21Sep 17, 2023Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆34Oct 18, 2017Updated 9 years ago
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 5 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.
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆20Sep 21, 2020Updated 6 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 2 months ago
- Scripts for getting Poplog onto your Linux machine☆14Aug 22, 2024Updated 2 years ago
- a x86_64 forth implemented in forth☆13Mar 19, 2016Updated 10 years ago
- Modern minimal Forth (between eforth and Gforth)☆16Sep 18, 2021Updated 5 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 12 years ago
- ☆19Aug 11, 2026Updated 2 months ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 8 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.
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- From Bitbucket -- A blog engine in Forth.☆17Jan 18, 2023Updated 3 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆48May 29, 2021Updated 5 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- Few people use Forth. But this might be useful if you want to!☆34Apr 11, 2019Updated 7 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 6 years ago
- TinyVG example files☆15Dec 18, 2021Updated 4 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.
- AllegroForthKit: A game programming framework built on Allegro 5.☆22Sep 26, 2019Updated 7 years ago
- An Oberon-07 compiler written in Oberon, with a bootstrap Oberon to C transpiler☆28Oct 4, 2026Updated last week
- Odin implementation of a Lox virtual machine and compiler based on Robert Nystrom's Crafting Interpreters☆15Dec 17, 2022Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated last year
- ☆20May 10, 2025Updated last year
- DocLog builds documentation from source code in Prolog☆34May 9, 2026Updated 5 months ago
- NASM port of JONESFORTH!☆59Sep 27, 2023Updated 3 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- Apply and compose functions in Prolog☆19Oct 27, 2016Updated 9 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.
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 4 years ago
- An Omniauth Strategy for Pocket☆15Mar 5, 2017Updated 9 years ago
- stack-based RPN functional programming language☆57Jul 5, 2026Updated 3 months ago
- Write TAP tests with SWI-Prolog☆13Jan 19, 2023Updated 3 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆25Jun 2, 2020Updated 6 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago