domoritz / clingo-wasm
Clingo on the web
☆38Updated last week
Alternatives and similar repositories for clingo-wasm:
Users that are interested in clingo-wasm are comparing it to the libraries listed below
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 2 months ago
- A lazy-grounding Answer-Set Programming system☆60Updated last month
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆55Updated 8 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Datalog + Egg = Good☆66Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆30Updated 4 months ago
- SWI-Prolog WebAssembly build as a NPM package☆46Updated this week
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Polynomial-time Meta-Interpretive Learning☆119Updated last month
- ☆20Updated 4 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆120Updated this week
- Domain Specific Languages for Computational Law☆71Updated last month
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated this week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆77Updated last year
- 🐧 Clingo Interactive UI☆26Updated this week
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated 10 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆29Updated 4 months ago
- Pedagogical first-order prover in Python☆75Updated last month
- Slog 1.0☆39Updated 9 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Mystery Languages☆38Updated last year
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆34Updated this week
- Kanren with databases☆43Updated 7 months ago