Alternatives and similar repositories for clingo-wasm:

Users that are interested in clingo-wasm are comparing it to the libraries listed below

• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 3 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated last month
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 3 weeks ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆13Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 3 months ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated this week
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 4 months ago
• LASER-UMASS / TacTok
  The TacTok automated Coq proof script synthesis tool
  ☆16Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 2 weeks ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• EngineeringSoftware / math-comp-corpus
  Corpus of Coq code related to MathComp including several machine-readable representations
  ☆10Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆16Updated this week
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆103Updated this week
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆45Updated last year
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated last month
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated last month