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:
- JavaScript implementation of modified version of miniKanren☆35May 28, 2019Updated 7 years ago
- Port of microKanren to JavaScript.☆25Feb 19, 2022Updated 4 years ago
- A simple Garbage Collected Arena for C.☆19Jun 30, 2024Updated 2 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Create P2P apps between browsers☆12Dec 30, 2022Updated 3 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- Define profiles for local/remote terminals and services on emacs☆18Apr 16, 2023Updated 3 years ago
- Scheme for the browser and Node.js☆14Jul 18, 2012Updated 14 years ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 10 years ago
- forth-assembler for AVR☆15Jan 13, 2020Updated 6 years ago
- ⏰ UCAN based merkle clock implemented as a peer on Cloudflare workers.☆14Apr 23, 2024Updated 2 years ago
- https://huyenchip.com/ml-interviews-book/☆10Feb 5, 2021Updated 5 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆11Nov 26, 2020Updated 5 years 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.
- 《Scala与Clojure函数式编程模式：Java虚拟机高效编程》学习代码记录☆12Apr 12, 2017Updated 9 years ago
- Libhydrogen bindings for Rust.☆18Sep 25, 2026Updated last month
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆54Apr 23, 2026Updated 6 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- NLP for Common Lisp☆22Apr 5, 2011Updated 15 years ago
- jsActor AMS☆14Mar 17, 2021Updated 5 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆12Jan 23, 2022Updated 4 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 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.
- Main docs for the project☆14Nov 4, 2022Updated 4 years ago
- a minimalistic Forth kernel that can bootstrap☆88May 1, 2022Updated 4 years ago
- ☆16May 25, 2023Updated 3 years ago
- ☆15Sep 1, 2022Updated 4 years ago
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- The Art of Propagator Magic in Typescript☆17Sep 22, 2026Updated last month
- Glitch the virtual façade of any website!☆11Jan 7, 2025Updated last year
- prolog interpreter in javascript☆83Feb 14, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆92Oct 17, 2023Updated 3 years ago
- Parse GLTF2 Files☆11Jul 22, 2025Updated last year
- 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
- A light-weight, fast, and easy to use context api for Sinuous☆12Jan 30, 2023Updated 3 years ago
- ☆16Nov 13, 2022Updated 4 years ago
- Makes CRDT sets orderable☆17May 11, 2021Updated 5 years ago
- ☆10Apr 4, 2017Updated 9 years ago
Are these results useful?