Alternatives and similar repositories for DC

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

• difflog-project / datalog-bench

  View on GitHub
  Benchmark Suite for Interpretable Rule Learning
  ☆12Aug 23, 2020Updated 5 years ago
• JakeHP / language-prolog

  View on GitHub
  Prolog language support for Atom
  ☆10Dec 8, 2018Updated 7 years ago
• celinehocquette / magicpopper

  View on GitHub
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Oct 5, 2022Updated 3 years ago
• tomsilver / policies_logic_programs

  View on GitHub
  Few-shot Bayesian Imitation Learning with Policies as Logic over Programs
  ☆20Oct 19, 2025Updated 3 months ago
• SmartDataAnalytics / SML-Bench

  View on GitHub
  A Benchmark for Machine Learning from Structured Data
  ☆22Nov 2, 2021Updated 4 years ago
• tvaquero / itsimple

  View on GitHub
  The Official itSIMPLE Project
  ☆18May 25, 2016Updated 9 years ago
• RL-VS / rlvs2021

  View on GitHub
  ☆18Jul 8, 2021Updated 4 years ago
• luisenp / mdp-lib

  View on GitHub
  A Library of MDP algorithms for Artificial Intelligence
  ☆18Jul 16, 2019Updated 6 years ago
• starling-lab / BoostSRL

  View on GitHub
  BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
  ☆31Sep 11, 2023Updated 2 years ago
• qxcv / asnets

  View on GitHub
  Source for Action Schema Networks paper (AAAI'18)
  ☆32Apr 6, 2023Updated 2 years ago
• toptica / python-lasersdk

  View on GitHub
  ☆12Jul 21, 2025Updated 6 months ago
• google / gpu-mux

  View on GitHub
  ☆42Nov 9, 2019Updated 6 years ago
• MichiganNLP / Reddit-Detect-Inspiration

  View on GitHub
  Inspirational post ids collected from Reddit using pushift.io and RoBERTa
  ☆10Jan 18, 2024Updated 2 years ago
• GWlab-SKKU / ePDFpy

  View on GitHub
  Software for electron pair distribution function (ePDF) analysis with amorphous material.
  ☆11Aug 14, 2024Updated last year
• IBM / forecast-demand-for-vending-machines

  View on GitHub
  ☆14Sep 17, 2025Updated 4 months ago
• PICDA / PICBench

  View on GitHub
  ☆10Mar 28, 2025Updated 10 months ago
• jnoessner / rockIt

  View on GitHub
  RockIt: A query engine for Markov logic
  ☆11May 24, 2016Updated 9 years ago
• Kinovarobotics / matlab_Kinovaapi_wrapper

  View on GitHub
  Matlab wrapper for the Jaco2 and Mico API
  ☆12Feb 28, 2022Updated 3 years ago
• pyscf / PySCF_Tutorial

  View on GitHub
  ☆12Apr 16, 2018Updated 7 years ago
• triska / scryer-prolog

  View on GitHub
  A modern Prolog implementation written mostly in Rust.
  ☆12Jan 18, 2026Updated 3 weeks ago
• ciudadanointeligente / check-it

  View on GitHub
  App to keep track of promises
  ☆12Jan 13, 2017Updated 9 years ago
• fancompute / neuroptica-notebooks

  View on GitHub
  Jupyter notebooks for the neuroptica simulator
  ☆11Mar 7, 2019Updated 6 years ago
• manas-anarov / kungfu_blog_step_by_step

  View on GitHub
  ☆11Oct 2, 2019Updated 6 years ago
• Pold87 / myPDDL

  View on GitHub
  PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text
  ☆37Apr 13, 2018Updated 7 years ago
• StefanKarpinski / GraphModularDecomposition.jl

  View on GitHub
  Modular decomposition of directed graphs
  ☆13Apr 2, 2025Updated 10 months ago
• RHQE / platform-ci

  View on GitHub
  ☆10Apr 24, 2019Updated 6 years ago
• miicTeam / MIIC

  View on GitHub
  ☆10Jul 23, 2020Updated 5 years ago
• google / jax-recommenders

  View on GitHub
  ☆11Oct 29, 2022Updated 3 years ago
• cryptolu / SPARX

  View on GitHub
  The SPARX family of lightweight block ciphers
  ☆11Jun 29, 2018Updated 7 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• quantlabs / db-fx-strategy

  View on GitHub
  Roll model for trading strategy to C++ or FPGA via Matlab tool
  ☆10Sep 11, 2014Updated 11 years ago
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆14Dec 16, 2024Updated last year
• lorepozo / ec

  View on GitHub
  Learning programs with the Exploration-Compression algorithm
  ☆10May 17, 2018Updated 7 years ago
• memkind / jemalloc

  View on GitHub
  ☆15Apr 6, 2016Updated 9 years ago
• chainpoint / chainpoint-binary

  View on GitHub
  A Javascript library for converting between Chainpoint JSON-LD and binary proof formats
  ☆11Apr 20, 2022Updated 3 years ago
• johnswentworth / tracelang

  View on GitHub
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Mar 15, 2020Updated 5 years ago
• openeventdata / eldiablo

  View on GitHub
  Event data in a box, basically.
  ☆15Nov 4, 2014Updated 11 years ago
• oceanprotocol-archive / osmosis-driver-interface

  View on GitHub
  💧A membrane between the decentralized world and centralized world
  ☆12Jan 5, 2021Updated 5 years ago
• aiplan4eu / up-fast-downward

  View on GitHub
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆13Aug 5, 2025Updated 6 months ago