Alternatives and similar repositories for xclingo

Users that are interested in xclingo are comparing it to the libraries listed below

• bramucas / xclingo2

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

  View on GitHub
  💊 Qualitative and quantitative optimization in answer set programming
  ☆21May 23, 2024Updated last year
• alviano / wasp

  View on GitHub
  ☆24Jan 8, 2026Updated last month
• potassco / clingo-rs

  View on GitHub
  🗝️ Rust bindings to the clingo library
  ☆34Jan 27, 2025Updated last year
• microsoft / Open-Use-of-Data-Agreement

  View on GitHub
  Open Use of Data Agreement - Removing Barriers to Data Innovation
  ☆18Aug 11, 2021Updated 4 years ago
• Cray-HPE / csm

  View on GitHub
  Cray System Management
  ☆11Feb 4, 2026Updated last week
• FACT-Finder / snage

  View on GitHub
  Searchable changelog from markdown files.
  ☆13Updated this week
• marko-vasic / ekstaziSharp

  View on GitHub
  RTS technique for .NET
  ☆12Oct 25, 2021Updated 4 years ago
• WAlschner / Semantic-Analysis-Regulations

  View on GitHub
  ☆11Dec 14, 2018Updated 7 years ago
• rndmcnlly / ansunit

  View on GitHub
  Declarative unit testing for Answer Set Programming projects
  ☆12Mar 4, 2018Updated 7 years ago
• kreasof-ai / OpenFormer

  View on GitHub
  A hackable library for running and fine-tuning modern transformer models on commodity and alternative GPUs, powered by tinygrad.
  ☆27Nov 27, 2025Updated 2 months ago
• danveloper / spring-boot-gridfs

  View on GitHub
  ☆10Nov 3, 2016Updated 9 years ago
• Mantevo / mantevo.github.io

  View on GitHub
  ☆11Apr 22, 2025Updated 9 months ago
• walkersw / AHF

  View on GitHub
  Array Based Half-Facet (AHF) Mesh Data Structure (for simplex meshes)
  ☆10Aug 29, 2020Updated 5 years ago
• llnl / bridge-kernel

  View on GitHub
  ☆11Jan 31, 2021Updated 5 years ago
• apozinn / kraftaEditor

  View on GitHub
  Fast, lightweight and cross-platform code-editor
  ☆13Jan 31, 2026Updated 2 weeks ago
• datamllab / autokeras-pretrained

  View on GitHub
  ☆11Jun 21, 2022Updated 3 years ago
• tobyshooters / tensorcheck

  View on GitHub
  Run-time validation of tensors for machine-learning systems.
  ☆11Apr 8, 2021Updated 4 years ago
• laraminones / MANET-simulation

  View on GitHub
  Mobile Ad Hoc (MANET) simulation and analysis using OMNET++.
  ☆11Mar 3, 2020Updated 5 years ago
• llnl / smoothG

  View on GitHub
  Mixed graph Laplacian upscaling and solvers
  ☆13Jan 7, 2025Updated last year
• 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
• m-k-l-s / textworld_kg_dataset

  View on GitHub
  The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games
  ☆10Mar 11, 2020Updated 5 years ago
• microsoft / Computational-Use-of-Data-Agreement

  View on GitHub
  Computational Use of Data Agreement - Removing Barriers to Data Innovation
  ☆21Jun 12, 2023Updated 2 years ago
• hkrsnd / dilp-st

  View on GitHub
  ☆10May 24, 2021Updated 4 years ago
• RenderKit / superbuild

  View on GitHub
  Intel oneAPI RenderKit CMake superbuild
  ☆12Jan 13, 2026Updated last month
• dan-snelson / BeyondTrust-EPM

  View on GitHub
  BeyondTrust Endpoint Privilege Management
  ☆12Jun 11, 2025Updated 8 months ago
• vsoch / vsoch.github.io

  View on GitHub
  Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.
  ☆11Jan 3, 2026Updated last month
• esl / segmented_cache

  View on GitHub
  Modern, performant, and extensible, Erlang in-memory cache
  ☆27Jun 11, 2025Updated 8 months ago
• kanait / gmorph

  View on GitHub
  A research-purpose software for 3D morphing between two meshes with arbitrary connectivity.
  ☆11Sep 2, 2025Updated 5 months ago
• danielwatson6 / skip-thoughts

  View on GitHub
  Simple TensorFlow implementation of skip-thought vectors
  ☆11Dec 8, 2022Updated 3 years ago
• azreasoners / NeurASP

  View on GitHub
  ☆49Nov 11, 2023Updated 2 years ago
• BetterRules / example-rules-as-code

  View on GitHub
  Example rules as code implementations
  ☆14Aug 27, 2020Updated 5 years ago
• jnika / ACE_Analyzer

  View on GitHub
  Qualitative evaluation of automatic chord extraction results: analysis of the musical relationships between predicted chords and target c…
  ☆10Oct 25, 2021Updated 4 years ago
• AlexHamilton / LawTech-Glossary

  View on GitHub
  An introduction to terminology in lawtech
  ☆15Aug 10, 2018Updated 7 years ago
• Mega-DatA-Lab / SpectralLDA

  View on GitHub
  Spectral LDA
  ☆13Jun 22, 2018Updated 7 years ago
• cirbuk / plan-lint

  View on GitHub
  Open source static analysis toolkit for LLM agent plans
  ☆13Aug 9, 2025Updated 6 months ago
• kirasystems / science

  View on GitHub
  ☆13Feb 24, 2023Updated 2 years ago
• princeton-nlp / blindfold-textgame

  View on GitHub
  [NAACL 2021] Reading and Acting while Blindfolded: The Need for Semantics in Text Game Agents
  ☆11May 31, 2021Updated 4 years ago
• AIRC-KETI / Korean-Copora

  View on GitHub
  ☆14Dec 9, 2021Updated 4 years ago