xieyuheng / logic-dbView external linksLinks
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
☆17Jul 11, 2023Updated 2 years ago
Alternatives and similar repositories for logic-db
Users that are interested in logic-db are comparing it to the libraries listed below
Sorting:
- Libraries and tools for topological and geometric modeling.☆17Mar 23, 2025Updated 10 months ago
- ☆10Nov 14, 2018Updated 7 years ago
- POWER-KI programming language for Intelligent Applications (IA)☆16Updated this week
- Modular content management and web application framework built with Node.js and MongoDB☆10Jan 4, 2018Updated 8 years ago
- Import Obsidian Vault in TiddlyWiki5☆11Updated this week
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆20Jan 13, 2025Updated last year
- Các thí nghiệm liên quan tới LLMs cho tiếng Việt (insprised by Physics of LLMs Series)☆11Oct 21, 2024Updated last year
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- 🧮A Domain-Specific Language (DSL) Approach for Triggering Commands. 📎Generating DSL scripts using LLM and user queries to execute offi…☆12Jul 31, 2025Updated 6 months ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- ☆10May 27, 2025Updated 8 months ago
- Dynamically typed interpreted programming language written in Rust☆10Feb 3, 2026Updated last week
- Startup Impact☆13Jun 24, 2022Updated 3 years ago
- Web stream based jsonlines decoder/encoder☆11Apr 25, 2024Updated last year
- .NET style property grid, written in Plain JavaScript as Web component☆13Mar 4, 2023Updated 2 years ago
- 16pixels.css is a set of CSS rules to ensure consistent 16 pixels based typography. Pixels are used for font sizes and line heights, as w…☆25Apr 1, 2025Updated 10 months ago
- Pushable iterable☆14Feb 28, 2024Updated last year
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- ⚙ Skeleton TiddlyWiki for developing plugins using the ThirdFlow, see: https://thediveo.github.io/TiddlyWikiPluginSkeleton and https://yo…☆10Mar 1, 2020Updated 5 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Electron UI for eye tracking keyboard.☆10May 5, 2021Updated 4 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- share memory between diffrent Node.js process☆14Sep 11, 2024Updated last year
- ☆11Mar 16, 2016Updated 9 years ago
- Easy-to-use, blazing-fast programming language.☆13Jul 17, 2022Updated 3 years ago
- Cicada Language (PLCT little team)☆94Dec 25, 2024Updated last year
- Methods of Mathematical Physics☆12Feb 10, 2021Updated 5 years ago
- The Flyte data-sidecar that helps move the input and output data intelligently between containers☆10Oct 9, 2023Updated 2 years ago
- Contains RabbitMQ-based transport for establishing a net of loosely coupled microservices with a simple RPC-style calling interface using…☆10Feb 7, 2026Updated last week
- Tagged template to run shell script with execa☆14Jul 24, 2023Updated 2 years ago
- Property based testing plugin for unexpected.☆12Jun 1, 2025Updated 8 months ago
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 3 years ago
- *UNMAINTAINED* type definitions (for TypeScript) for JavaScript library Sanctuary☆12May 21, 2017Updated 8 years ago
- Use the Raspberry PI HQ Camera with a (gemmological) microscope. Fully interactive vue based. Designed by a Gemmologist :)☆12Mar 13, 2023Updated 2 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 4 years ago
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 3 years ago
- Push commands to your terminal console from the comfort of a text editor☆13Dec 11, 2022Updated 3 years ago
- Lightweight LoRaWAN network server☆14Jan 30, 2025Updated last year