spike-imperial/FastLAS external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

spike-imperial/FastLAS

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/spike-imperial/FastLAS)

Close

spike-imperial / FastLASView on GitHubMore

• External links
• Readme badge

☆23Jan 27, 2026Updated last month

Alternatives and similar repositories for FastLAS

Users that are interested in FastLAS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ilaspltd / ILASP-releases

  View on GitHub
  ☆38Nov 11, 2024Updated last year
• ce-store / ce-store

  View on GitHub
  ITA Controlled English (CE)
  ☆24Mar 31, 2022Updated 3 years ago
• logic-and-learning-lab / ilp-experiments

  View on GitHub
  Experimentation framework for Popper
  ☆25Jul 24, 2025Updated 8 months ago
• petablox / difflog

  View on GitHub
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Sep 26, 2019Updated 6 years ago
• apayani / ILP

  View on GitHub
  ☆10Nov 27, 2019Updated 6 years ago
• CODAIT / Identifying-Incorrect-Labels-In-CoNLL-2003

  View on GitHub
  Research into identifying and correcting incorrect labels in the CoNLL-2003 corpus.
  ☆12May 11, 2021Updated 4 years ago
• claireaoi / hierarchical-rule-induction

  View on GitHub
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Dec 31, 2022Updated 3 years ago
• ryanfb / docker_scantailor

  View on GitHub
  Docker for ScanTailor and ScanTailor Advanced
  ☆14Mar 17, 2024Updated 2 years ago
• Relento / hypothesis_search

  View on GitHub
  ☆22Nov 26, 2024Updated last year
• albertmeronyo / pyldn

  View on GitHub
  A pythonic Linked Data Notifications (LDN) receiver
  ☆14Jan 31, 2019Updated 7 years ago
• logic-and-learning-lab / Popper

  View on GitHub
  An inductive logic programming system
  ☆274Mar 14, 2026Updated last week
• CLAW-Lab / ToM

  View on GitHub
  Code accompanying ICML 2021 paper "Few-shot Language Coordination by Modeling Theory of Mind"
  ☆18May 18, 2022Updated 3 years ago
• MLforHealth / CausalDA

  View on GitHub
  Causal data augmentation for pretraining debiasing
  ☆11Aug 31, 2021Updated 4 years ago
• ertsiger / induction-subgoal-automata-rl

  View on GitHub
  Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Autom…
  ☆14Aug 15, 2023Updated 2 years ago
• sfu-cl-lab / FactorBase

  View on GitHub
  The source code repository for the FactorBase system
  ☆10Mar 17, 2024Updated 2 years ago
• UCLA-StarAI / LearnPSDD

  View on GitHub
  ☆15Jan 15, 2019Updated 7 years ago
• kohpangwei / data-poisoning-journal-release

  View on GitHub
  ☆18Sep 29, 2020Updated 5 years ago
• logicmoo / logicmoo_nlu

  View on GitHub
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Oct 2, 2021Updated 4 years ago
• HEmile / a-nesi

  View on GitHub
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆23Jan 27, 2025Updated last year
• AbductiveLearning / SS-ABL

  View on GitHub
  ☆22Jan 31, 2024Updated 2 years ago
• tron-format / tron-format.github.io

  View on GitHub
  Official website for the TRON (Token Reduced Object Notation) format
  ☆36Nov 29, 2025Updated 3 months ago
• ml-research / XIConceptLearning

  View on GitHub
  Explainable Interactive Concept Learning
  ☆15Mar 26, 2023Updated 2 years ago
• metagol / metagol

  View on GitHub
  Metagol - an inductive logic programming system
  ☆209Sep 13, 2021Updated 4 years ago
• caus-am / aci

  View on GitHub
  Ancestral Causal Inference (ACI)
  ☆14May 24, 2017Updated 8 years ago
• pierrelux / rlss2017

  View on GitHub
  ☆17Jul 3, 2017Updated 8 years ago
• 921kiyo / symbolic-rl

  View on GitHub
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆63Feb 10, 2023Updated 3 years ago
• uditarora / ood-text-emnlp

  View on GitHub
  Code for EMNLP'21 paper "Types of Out-of-Distribution Texts and How to Detect Them"
  ☆25Nov 13, 2021Updated 4 years ago
• SNePS / SNePS2

  View on GitHub
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆13Jun 6, 2018Updated 7 years ago
• ucla-csl / mabuc

  View on GitHub
  Simulation code for reference with MABUC article: Bareinboim, Forney, & Pearl (2015)
  ☆18Nov 11, 2015Updated 10 years ago
• linlu-qiu / lm-inductive-reasoning

  View on GitHub
  ☆34Nov 21, 2023Updated 2 years ago
• sisl / mechamodlearn

  View on GitHub
  Structured framework for learning mechanical systems in PyTorch
  ☆27Apr 15, 2019Updated 6 years ago
• finin / pfc

  View on GitHub
  Pfc: adding forward chaining and truth maintenance to Prolog
  ☆11Jan 25, 2024Updated 2 years ago
• gja / clj-log4j2

  View on GitHub
  A Log4j Adapter for Clojure
  ☆10Dec 23, 2021Updated 4 years ago
• sanghack81 / SCMMAB-NIPS2018

  View on GitHub
  Structural Causal Bandit
  ☆26Sep 12, 2021Updated 4 years ago
• ian-andrich / PythonPengines

  View on GitHub
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Jun 26, 2020Updated 5 years ago
• mcalejo / interprolog

  View on GitHub
  Java <-> XSB Prolog bridge library
  ☆12Oct 13, 2020Updated 5 years ago
• eberharf / cfl

  View on GitHub
  ☆19Feb 6, 2026Updated last month
• ainbr / chatgpt-weak-labeler-webui

  View on GitHub
  Weak Labeling (NER) using ChatGPT
  ☆37Mar 28, 2023Updated 2 years ago
• sebdumancic / loreleai

  View on GitHub
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Mar 19, 2021Updated 5 years ago