domoritz / clingo-wasmLinks
Clingo on the web
☆40Updated 3 weeks ago
Alternatives and similar repositories for clingo-wasm
Users that are interested in clingo-wasm are comparing it to the libraries listed below
Sorting:
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆57Updated 11 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 5 months ago
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆79Updated last year
- Top-down interpreter for ASP programs with Constraints☆32Updated 7 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- ☆29Updated 2 years ago
- Domain Specific Languages for Computational Law☆76Updated 4 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆124Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆80Updated this week
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- The Heterogeneous Tool Set☆58Updated 4 months ago
- Slog 1.0☆43Updated last year
- Kanren with databases☆43Updated 10 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 8 months ago
- A SolidJS diagramming framework☆74Updated 10 months ago
- 🐧 Clingo Interactive UI☆26Updated this week
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Python interface for SWI-Prolog☆49Updated 2 months ago
- Mystery Languages☆38Updated last year
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- ☆22Updated 7 months ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago