Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
☆17Jul 11, 2023Updated 3 years ago
Alternatives and similar repositories for logic-db
Users that are interested in logic-db are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Validate untyped data and return well typed result.☆21Oct 26, 2024Updated 2 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- ☆22Dec 23, 2021Updated 4 years ago
- Cicada Language (PLCT little team)☆94Dec 25, 2024Updated last year
- Material Motion 的在线翻译版本☆13May 17, 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.
- BuckleScript bindings for jest-dom.☆12Jan 6, 2023Updated 3 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 8 years ago
- ☆10Apr 25, 2017Updated 9 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- EPUB to PDF converter using WebKitGtk☆10Apr 4, 2015Updated 11 years ago
- ☆11Feb 16, 2026Updated 8 months ago
- ☆10Nov 14, 2018Updated 7 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 10 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.
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- Cross-Platform, Object-Oriented Programming language. With Kookaburra you can choose between the powerful CLI, or start coding with its' …☆11Oct 3, 2024Updated 2 years ago
- ☆13Aug 6, 2026Updated 3 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- (Deprecated Prototype) Gershwin programming language☆10May 30, 2013Updated 13 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- A wrapper around ZeroMQ with Futures for use on Tokio's executors☆11Sep 12, 2018Updated 8 years ago
- POWER-KI programming language for Intelligent Applications (IA)☆17Updated this week
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated last year
- 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.
- ☆10Sep 21, 2024Updated 2 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated 2 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- hypercore-protocol extension to authenticate peers☆21Feb 10, 2020Updated 6 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- An implementation of interaction nets in JS.☆133Jul 20, 2025Updated last year
- Easy-to-use, blazing-fast programming language.☆12Jul 17, 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.
- Per-process Network Firewall/Rate Limiter/Monitor for Linux Desktop☆14Jan 9, 2023Updated 3 years ago
- A complete ticketing system for events of all kinds based on microservices architecture built with Go Lang and Node.js. 🌆☆10Mar 6, 2023Updated 3 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago
- A website server that supports serving many websites using subdomain-based routing.☆20Jul 20, 2025Updated last year
- ☆18Aug 20, 2019Updated 7 years ago
- Framework for building microservices with Node.js☆13Aug 16, 2019Updated 7 years ago
- Adds browsing users to topics☆10Sep 30, 2026Updated last month