miniKanren for JavaScript
☆27Jul 18, 2023Updated 3 years ago
Alternatives and similar repositories for ramo
Users that are interested in ramo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Port of microKanren to JavaScript.☆25Feb 19, 2022Updated 4 years ago
- A simple Garbage Collected Arena for C.☆19Jun 30, 2024Updated 2 years ago
- Typescript implementation of a reactive, data-driven, finite-state machine☆12Apr 18, 2022Updated 4 years ago
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 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.
- All the Transient libraries☆45May 1, 2026Updated 4 months ago
- SmartTokens are small-sized tangible tokens that can sense multiple types of motion, multiple types of touch/grip, and send input events …☆12Dec 11, 2015Updated 10 years ago
- Personnal programms for AVR FlashForth☆12Feb 26, 2022Updated 4 years ago
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- 《Scala与Clojure函数式编程模式：Java虚拟机高效编程》学习代码记录☆12Apr 12, 2017Updated 9 years ago
- ☆92Oct 17, 2023Updated 2 years ago
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- a minimalistic Forth kernel that can bootstrap☆88May 1, 2022Updated 4 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆53Apr 23, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- forth-assembler for AVR☆15Jan 13, 2020Updated 6 years ago
- A collection of option trading related utilities☆13Jul 28, 2013Updated 13 years ago
- ☆15Sep 1, 2022Updated 4 years ago
- Carnatic Music Notation rendering engine☆14Nov 24, 2013Updated 12 years ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 3 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 3 years ago
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆12Jan 23, 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.
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 5 years ago
- prolog interpreter in javascript☆83Feb 14, 2017Updated 9 years ago
- Gun DB Visualization using Graphin☆16Jan 2, 2020Updated 6 years ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆15Oct 23, 2024Updated last year
- low level utils for polyline miter joins☆11Nov 28, 2014Updated 11 years ago
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated 2 years ago
- The Art of Propagator Magic in Typescript☆17Sep 22, 2026Updated last week
- It's ooey and gooey. No clue what this really is aside from a GUI framework basis?☆14Oct 1, 2024Updated last year
- 💪 Javascript Set on steroids.☆18Feb 21, 2024Updated 2 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.
- Example that uses GraalVM native image to create a shared library, callable from C, Ruby or other ecosystems that support foreign functio…☆11Mar 31, 2023Updated 3 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- Makes CRDT sets orderable☆17May 11, 2021Updated 5 years ago
- Plugin for adding Giphy GIFS on Jekyll sites☆15Jun 13, 2016Updated 10 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- Dropbox API v2 client for JavaScript☆17May 25, 2017Updated 9 years ago
- provides iSAX Java implementation☆14Jun 13, 2015Updated 11 years ago