Alternatives and similar repositories for scallop-old

Users that are interested in scallop-old are comparing it to the libraries listed below

• webyrd / slpKanren

  View on GitHub
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Feb 3, 2013Updated 13 years ago
• hongyuanmei / neural-datalog-through-time

  View on GitHub
  Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).
  ☆36Jul 25, 2024Updated last year
• sfu-cl-lab / FactorBase

  View on GitHub
  The source code repository for the FactorBase system
  ☆10Mar 17, 2024Updated last year
• petablox / difflog

  View on GitHub
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Sep 26, 2019Updated 6 years ago
• moqingyan / dsr-lm

  View on GitHub
  ☆12Jul 8, 2023Updated 2 years ago
• ralfbiedert / simd_aligned

  View on GitHub
  SIMD aligned data structures to work with `std::simd`.
  ☆11Dec 14, 2024Updated last year
• SparkJiao / MERIt

  View on GitHub
  [Findings of ACL 2022] Meta-Path Guided Contrastive Learning for Logical Reasoning of Text
  ☆28Mar 21, 2022Updated 3 years ago
• namin / holey

  View on GitHub
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆38Jan 22, 2026Updated 3 weeks ago
• vsahil / MIMETIC-2

  View on GitHub
  Official Code for MIMETIC^2
  ☆13Nov 19, 2024Updated last year
• rajarshi008 / Scarlet

  View on GitHub
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Jan 11, 2025Updated last year
• scallop-lang / scallop

  View on GitHub
  Framework and Language for Neurosymbolic Programming.
  ☆448May 1, 2025Updated 9 months ago
• robsimmons / dusa

  View on GitHub
  A logic programming language that has features of both Datalog and answer set programming.
  ☆123Jan 20, 2026Updated 3 weeks ago
• brandonwillard / kanren-old

  View on GitHub
  Logic Programming in Python
  ☆31Sep 28, 2021Updated 4 years ago
• Mehran-k / RelNN

  View on GitHub
  RelNN is a novel first-order deep neural model for relational learning.
  ☆28Nov 15, 2017Updated 8 years ago
• wilcoxjay / notes

  View on GitHub
  ☆14Apr 5, 2023Updated 2 years ago
• unitn-sml / wmpy

  View on GitHub
  Reasoning over weighted algebraic and logical constraints
  ☆26Feb 9, 2026Updated last week
• philzook58 / egglog0

  View on GitHub
  Datalog + Egg = Good
  ☆66May 31, 2023Updated 2 years ago
• AdrienChampion / hashconsing

  View on GitHub
  A Rust hashconsing library.
  ☆38Jul 15, 2024Updated last year
• sdmhans / arxiv_dataset_extraction

  View on GitHub
  A simple script for extracting plain text from arxiv dataset: https://www.kaggle.com/Cornell-University/arxiv
  ☆15Dec 7, 2020Updated 5 years ago
• NExTplusplus / L2I

  View on GitHub
  The baseline method for CCIR 22 https://www.datafountain.cn/competitions/573
  ☆13Aug 2, 2022Updated 3 years ago
• trishullab / cflobdd

  View on GitHub
  ☆14Updated this week
• calebh / dihash

  View on GitHub
  Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
  ☆16Dec 29, 2025Updated last month
• rlin27 / DeBut

  View on GitHub
  Codes of the paper Deformable Butterfly: A Highly Structured and Sparse Linear Transform.
  ☆16Nov 1, 2021Updated 4 years ago
• gregr / dbKanren

  View on GitHub
  Kanren with databases
  ☆44Jul 30, 2024Updated last year
• chef / mini_s3

  View on GitHub
  Minimal AWS S3 client for Erlang
  ☆29Jul 27, 2025Updated 6 months ago
• ChomperT / simdjson_erlang

  View on GitHub
  simdjson bindings for erlang
  ☆17Oct 4, 2020Updated 5 years ago
• StonyBrookNLP / teabreac

  View on GitHub
  Repository for Teaching Broad Reasoning Skills for Multi-Step QA by Generating Hard Contexts, EMNLP22
  ☆19Jun 23, 2023Updated 2 years ago
• taucompling / mdlrnn

  View on GitHub
  Minimum Description Length Recurrent Neural Networks
  ☆18Jun 9, 2023Updated 2 years ago
• julesjacobs / boa

  View on GitHub
  Partition refinement
  ☆16Sep 11, 2023Updated 2 years ago
• limemloh / cubical-congruence

  View on GitHub
  Congruence Closure Procedure in Cubical Agda
  ☆19Aug 19, 2020Updated 5 years ago
• facebookresearch / productive_concept_learning

  View on GitHub
  Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…
  ☆17Jul 22, 2021Updated 4 years ago
• PL-ML / code2inv

  View on GitHub
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆103Jan 26, 2021Updated 5 years ago
• MatthiasNickles / diff-SAT

  View on GitHub
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Jul 1, 2024Updated last year
• ptarau / pypro

  View on GitHub
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Mar 1, 2023Updated 2 years ago
• art-ai / pypsdd

  View on GitHub
  The Python PSDD Package
  ☆19Jul 20, 2025Updated 6 months ago
• laudv / bitboost

  View on GitHub
  Fast Gradient Boosting Decision Trees with Bit-Level Data Structures
  ☆17Aug 2, 2022Updated 3 years ago
• VITA-Group / EarlyBERT

  View on GitHub
  [ACL-IJCNLP 2021] "EarlyBERT: Efficient BERT Training via Early-bird Lottery Tickets" by Xiaohan Chen, Yu Cheng, Shuohang Wang, Zhe Gan, …
  ☆18Dec 30, 2021Updated 4 years ago
• probabilistic-learning / abda

  View on GitHub
  Code and supplementary material for "Automatic Bayesian Density Analysis", AAAI 19
  ☆20Nov 21, 2018Updated 7 years ago
• ml4tp / gamepad

  View on GitHub
  A Learning Environment for Theorem Proving
  ☆76Jun 21, 2022Updated 3 years ago