DeepClause Typescript DML SDK and runtime
☆55Sep 10, 2026Updated this week
Alternatives and similar repositories for deepclause-sdk
Users that are interested in deepclause-sdk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convergence assistant for knowledge corpora☆17Aug 15, 2026Updated 3 weeks ago
- A P model of durable Promises☆14Oct 6, 2023Updated 2 years ago
- A rule engine based on Attempto Controlled English☆20Nov 1, 2024Updated last year
- Differentiable probabilistic answer set programming☆32Jun 23, 2025Updated last year
- Ontology development environment for Common Logic (CL)☆25Nov 16, 2022Updated 3 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.
- Nix Algebraic Effects System with Handlers☆21Jan 31, 2026Updated 7 months ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆34Aug 25, 2026Updated 2 weeks ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Prolog Pengines + vue.js☆17Mar 3, 2019Updated 7 years ago
- ☆14Jun 19, 2026Updated 2 months ago
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- ☆26Jul 24, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- A simple and easy library for text-based game development☆11Feb 16, 2026Updated 6 months ago
- Cuis Smalltalk version 6.2 Stable Release☆14Mar 6, 2024Updated 2 years ago
- A Log4j Adapter for Clojure☆10Dec 23, 2021Updated 4 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆46May 4, 2026Updated 4 months ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Git-like, causal space-time lattice abstraction over systems supporting this memory model.☆22Sep 5, 2026Updated last week
- norg reader for pandoc☆23Jul 9, 2023Updated 3 years ago
- 🐳🐟🐚Docker image for the Friendly Interactive Shell, aka fish☆17Feb 12, 2026Updated 7 months ago
- ☆13Oct 23, 2018Updated 7 years ago
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated last month
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆13Dec 28, 2024Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Aug 8, 2026Updated last month
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆15Nov 20, 2024Updated last year
- 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.
- Simulation of spatial processes in Protege-frames by scenarios☆58Apr 8, 2023Updated 3 years ago
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year
- clinglite: REPL in C++. A lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆17Mar 26, 2026Updated 5 months ago
- Random notes on mathematics (in German)☆13Aug 6, 2026Updated last month
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- EyeClient is a browser widget for the EYE reasoner.☆13Oct 13, 2017Updated 8 years ago
- Combinators for the real world☆14Aug 16, 2014Updated 12 years ago