Alternatives and similar repositories for clingo-rs

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

• rndmcnlly / ansunit

  View on GitHub
  Declarative unit testing for Answer Set Programming projects
  ☆12Mar 4, 2018Updated 7 years ago
• ArnaudBelcour / asp-syntax-highlight

  View on GitHub
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Jan 2, 2025Updated last year
• rkaminsk / vim-syntax-clingo

  View on GitHub
  📜 Syntax highlighting and auto indentation for clingo/gringo.
  ☆13Jul 22, 2022Updated 3 years ago
• potassco / clingraph

  View on GitHub
  🕸️ A visualizer for graphs defined as logic programs
  ☆31Oct 12, 2024Updated last year
• alviano / wasp

  View on GitHub
  ☆24Jan 8, 2026Updated last month
• fatho / logru

  View on GitHub
  Log(ic) programming in Ru(st).
  ☆24Sep 27, 2025Updated 4 months ago
• bramucas / xclingo

  View on GitHub
  Explains the conclusions of a logic program.
  ☆10May 25, 2023Updated 2 years 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
• potassco / clinguin

  View on GitHub
  🐧 Clingo Interactive UI
  ☆29Jan 22, 2026Updated 3 weeks ago
• bramucas / xclingo2

  View on GitHub
  A tool for explainability and debugging in Answer Set Programming.
  ☆15Mar 25, 2025Updated 10 months ago
• llnl / cram

  View on GitHub
  Tool to run many small MPI jobs inside of one large MPI job.
  ☆25Mar 17, 2015Updated 10 years ago
• elichai / stdio-override

  View on GitHub
  Overriding Stdio file descriptors in Rust
  ☆18Jan 26, 2025Updated last year
• sitegui / feattle-rs

  View on GitHub
  Feature toggles for Rust, extensible and with background synchronization and administration UI
  ☆27Dec 2, 2025Updated 2 months ago
• Kixiron / sruth

  View on GitHub
  Sruth Lùbach: A toy optimization engine
  ☆23Jun 7, 2021Updated 4 years ago
• DeMaCS-UNICAL / EmbASP

  View on GitHub
  A general framework for embedding Logic Programming in complex systems
  ☆30Mar 30, 2024Updated last year
• potassco / clasp

  View on GitHub
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆138Updated this week
• ekzhang / crepe

  View on GitHub
  Datalog compiler embedded in Rust as a procedural macro
  ☆501Dec 14, 2025Updated 2 months ago
• llogiq / compact_arena

  View on GitHub
  A crate with indexed arenas with small memory footprint
  ☆79Aug 26, 2024Updated last year
• marko-vasic / ekstaziSharp

  View on GitHub
  RTS technique for .NET
  ☆12Oct 25, 2021Updated 4 years ago
• lingpy / lingrex

  View on GitHub
  Linguistic Reconstruction with LingPy
  ☆15Aug 5, 2024Updated last year
• ankane / libmf-rust

  View on GitHub
  Large-scale sparse matrix factorization for Rust
  ☆11Jan 15, 2026Updated last month
• wasm-superopt / rocinante

  View on GitHub
  ☆10May 14, 2020Updated 5 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• arash16 / bisetmap

  View on GitHub
  BisetMap is a fast and thread-safe two-way hash map of sets for Rust.
  ☆13Nov 9, 2017Updated 8 years ago
• eddyb / cprep

  View on GitHub
  C/C++ preprocessor.
  ☆14Jan 21, 2025Updated last year
• matklad / jthread-rs

  View on GitHub
  ☆15Aug 24, 2019Updated 6 years ago
• JosephTLyons / nu_plugin_periodic_table

  View on GitHub
  A periodic table plugin for Nushell.
  ☆15Aug 25, 2025Updated 5 months ago
• hudson-ayers / rlu-rust

  View on GitHub
  Implementation of Read-Log-Update in Rust
  ☆11Jan 8, 2020Updated 6 years ago
• CoEDL / elan-helpers

  View on GitHub
  Tools and scripts for working with ELAN
  ☆10Aug 4, 2022Updated 3 years ago
• Jinmo / IDA8-Alleycat

  View on GitHub
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Jan 15, 2025Updated last year
• juliensf / mercury-csv

  View on GitHub
  A Mercury CSV library.
  ☆13Jan 20, 2026Updated 3 weeks ago
• chengluyu / vega-inspector

  View on GitHub
  Help you digest the Vega output in a dead simple way.
  ☆14Jul 27, 2022Updated 3 years ago
• terabyte / stashbot

  View on GitHub
  A plugin for Atlassian Bitbucket (nee Stash) to allow easy, self-service continuous integration with Jenkins
  ☆11Oct 9, 2019Updated 6 years ago
• llnl / smoothG

  View on GitHub
  Mixed graph Laplacian upscaling and solvers
  ☆13Jan 7, 2025Updated last year
• yasuo-ozu / min_specialization

  View on GitHub
  ☆12Sep 21, 2024Updated last year
• callum-oakley / json5-to-json

  View on GitHub
  A bare-bones tool for converting JSON5 to plain JSON.
  ☆13Aug 20, 2022Updated 3 years ago
• vega / vega-renderer-webgl

  View on GitHub
  WebGL Renderer extension for Vega
  ☆13Dec 10, 2021Updated 4 years ago
• delph-in / matrix

  View on GitHub
  The Grammar Matrix
  ☆15Jan 22, 2026Updated 3 weeks ago
• squaresLab / idioms

  View on GitHub
  ☆20Jan 30, 2026Updated 2 weeks ago