Aluriak / webclingo-exampleLinks
Example of clingo usage on website as a client-side JS program
☆14Updated 6 years ago
Alternatives and similar repositories for webclingo-example
Users that are interested in webclingo-example are comparing it to the libraries listed below
Sorting:
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆61Updated 5 months ago
- Clingo on the web☆43Updated last week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- ☆24Updated 3 weeks ago
- Web Native language Workbench with Projectional Web Editor☆74Updated this week
- KIELER Lightweight Diagams☆39Updated 3 weeks ago
- Help you digest the Vega output in a dead simple way.☆14Updated 3 years ago
- A general framework for embedding Logic Programming in complex systems☆30Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 4 years ago
- Spoofax runtime☆158Updated 8 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated 3 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- JSON schema for Vega and Vega-Lite☆38Updated 3 months ago
- A lazy-grounding Answer-Set Programming system☆62Updated last month
- An exploration of relational algebra☆16Updated this week
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Updated 3 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆33Updated last month
- SPARQL to SPARQL algebra converter☆23Updated 3 weeks ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆36Updated 3 weeks ago
- A Vega transform for HeavyDB☆31Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last month
- A framework of various language parsers☆101Updated 3 weeks ago
- A service to render Vega visualizations☆18Updated 2 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆100Updated last month
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆51Updated 4 months ago
- 🕰️ A solver for temporal programs.☆22Updated last year