domoritz/clingo-wasm external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

domoritz/clingo-wasm

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/domoritz/clingo-wasm)

Close

domoritz / clingo-wasmView on GitHubMore

• External links
• Readme badge

Clingo on the web

☆45Jun 19, 2026Updated last week

Alternatives and similar repositories for clingo-wasm

Users that are interested in clingo-wasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• alviano / asp-chef

  View on GitHub
  ☆13Updated this week
• DeMaCS-UNICAL / EmbASP

  View on GitHub
  A general framework for embedding Logic Programming in complex systems
  ☆30Apr 20, 2026Updated 2 months ago
• alpha-asp / Alpha

  View on GitHub
  A lazy-grounding Answer-Set Programming system
  ☆65May 15, 2026Updated last month
• potassco / clingo

  View on GitHub
  🦉 A grounder and solver for logic programs.
  ☆798Updated this week
• ExpressiveIntelligence / PromWeek

  View on GitHub
  ☆13Apr 4, 2019Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• cmudig / solas

  View on GitHub
  Visualization Recommendation Based on Analysis History
  ☆15Aug 31, 2023Updated 2 years ago
• potassco / clorm

  View on GitHub
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆69Apr 1, 2026Updated 2 months ago
• Aluriak / webclingo-example

  View on GitHub
  Example of clingo usage on website as a client-side JS program
  ☆14Aug 27, 2019Updated 6 years ago
• rndmcnlly / ansunit

  View on GitHub
  Declarative unit testing for Answer Set Programming projects
  ☆12Mar 4, 2018Updated 8 years ago
• potassco / clingoLP

  View on GitHub
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Dec 2, 2021Updated 4 years ago
• ErgoAI / ErgoEngine

  View on GitHub
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆51May 22, 2026Updated last month
• gateless / clara-rules

  View on GitHub
  Performance focused forward-chaining rules in Clojure
  ☆19May 11, 2026Updated last month
• JIM-GLITCH / mercury-ls

  View on GitHub
  ☆10Mar 4, 2026Updated 3 months ago
• Aluriak / clyngor

  View on GitHub
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆36May 18, 2026Updated last month
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• hexhex / core

  View on GitHub
  DLVHEX solver: core system and plugin API
  ☆25Jun 13, 2019Updated 7 years ago
• justinlubin / honeybee

  View on GitHub
  Analyze experimental data with Programming by Navigation
  ☆17Updated this week
• leuschel / logen

  View on GitHub
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Jul 19, 2016Updated 9 years ago
• nfzhou / lp-contest

  View on GitHub
  ☆11Sep 21, 2025Updated 9 months ago
• DeMaCS-UNICAL / I-DLV

  View on GitHub
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆24Dec 7, 2023Updated 2 years ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• tuProlog / arg2p-kt

  View on GitHub
  An implementation of the ASPIC+ framework for structured argumentation.
  ☆13Updated this week
• ArnaudBelcour / asp-syntax-highlight

  View on GitHub
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Jan 2, 2025Updated last year
• naddym / nifi-oracle-cdc-debezium

  View on GitHub
  Streaming Oracle Database 11g changes into NiFi with Debezium Connector
  ☆12Jul 15, 2021Updated 4 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• CarsonScott / Automated-Logical-Systems

  View on GitHub
  Distributed constraint satisfaction with recursive message-passing agents
  ☆16Dec 11, 2017Updated 8 years ago
• gooofy / zamia-prolog

  View on GitHub
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Jan 6, 2018Updated 8 years ago
• petertodd / python-merbinnertree

  View on GitHub
  (Summed) Merklized Binary Radix Tree library
  ☆17Oct 10, 2016Updated 9 years ago
• piscisaureus / owl2java

  View on GitHub
  Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API
  ☆17Jul 20, 2010Updated 15 years ago
• witan-org / witan

  View on GitHub
  An ocaml implementation of conflict-driven reasoning
  ☆15Jul 13, 2018Updated 7 years ago
• dridk / blog

  View on GitHub
  mon blog disponible sur dridk.me
  ☆11Oct 28, 2024Updated last year
• nirlipo / ltl2pddl

  View on GitHub
  LTL2PDDL tool
  ☆13Jul 7, 2017Updated 8 years ago
• Neamar / sagas-mp3

  View on GitHub
  🇫🇷 Subtilités des sagas MP3 : Reflets d'Acide, Adoprixtoxis, Xantah
  ☆14Nov 3, 2025Updated 7 months ago
• apple / ml-translate-vis

  View on GitHub
  Angler: Machine Translation Visualization (CHI 2023)
  ☆68Jul 12, 2023Updated 2 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• idealjs / layout-manager

  View on GitHub
  ☆14Dec 20, 2024Updated last year
• AptS-1547 / shortlinker

  View on GitHub
  A lightning-fast URL shortener built with Rust, featuring HTTP 307 redirects and a clean, modern UI.
  ☆22May 8, 2026Updated last month
• touilleMan / samarche

  View on GitHub
  Samarche for testing your public api against regression !
  ☆13Jun 26, 2015Updated 11 years ago
• kitten / react-wonka

  View on GitHub
  Several hooks for using Wonka streams with React
  ☆26Oct 12, 2020Updated 5 years ago
• fslivovsky / qute

  View on GitHub
  Qute: a dependency learning QBF solver.
  ☆16Mar 31, 2026Updated 2 months ago
• LogicalContracts / LogicalEnglish

  View on GitHub
  ☆47May 14, 2026Updated last month
• cesaro / cunf

  View on GitHub
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Nov 30, 2020Updated 5 years ago