miniKanren for JavaScript
☆27Jul 18, 2023Updated 2 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:
- JavaScript implementation of modified version of miniKanren☆34May 28, 2019Updated 7 years ago
- Port of microKanren to JavaScript.☆25Feb 19, 2022Updated 4 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- All the Transient libraries☆45May 1, 2026Updated 3 weeks 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
- ☆44Mar 14, 2026Updated 2 months ago
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- ☆88Oct 17, 2023Updated 2 years ago
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Jan 12, 2018Updated 8 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 8 months 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☆87May 1, 2022Updated 4 years ago
- Glitch the virtual façade of any website!☆10Jan 7, 2025Updated last year
- jsActor AMS☆14Mar 17, 2021Updated 5 years ago
- A collection of option trading related utilities☆13Jul 28, 2013Updated 12 years ago
- ☆10Feb 27, 2024Updated 2 years ago
- Holster syncs distributed graph data over websockets☆18May 20, 2026Updated last week
- Backtest Investment Strategies in your Browser☆10Jan 5, 2016Updated 10 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.
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 years ago
- Web chat room☆17Aug 12, 2017Updated 8 years ago
- Carnatic Music Notation rendering engine☆14Nov 24, 2013Updated 12 years ago
- Main docs for the project☆14Nov 4, 2022Updated 3 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- 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 4 years ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆13Oct 23, 2024Updated last year
- Vim plugin for highlighting SQL inside JavaScript template literals☆13May 6, 2021Updated 5 years ago
- Проект для перевода чисел, записанных в текстовом виде на русском языке.☆11Apr 5, 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.
- A light-weight, fast, and easy to use context api for Sinuous☆12Jan 30, 2023Updated 3 years ago
- It's ooey and gooey. No clue what this really is aside from a GUI framework basis?☆14Oct 1, 2024Updated last year
- A functional library for Red programmers☆18Oct 31, 2017Updated 8 years ago
- translations of a lambda abstraction to combinations of operators☆19Sep 6, 2019Updated 6 years ago
- Minimal Forth Workbench provides an educational subset of Standard Forth, feel free to experiment.☆24Mar 27, 2024Updated 2 years ago
- Plugin for adding Giphy GIFS on Jekyll sites☆15Jun 13, 2016Updated 9 years ago
- ☆10May 19, 2016Updated 10 years ago