A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.
☆21Mar 21, 2025Updated last year
Alternatives and similar repositories for PyGol
Users that are interested in PyGol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- FreeCAD Workbench for URDF & SDF and Gazebo☆14Nov 21, 2019Updated 6 years ago
- IDE for rete4frames based on Protege-3.5☆17Sep 18, 2017Updated 8 years ago
- ☆13Dec 17, 2021Updated 4 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆41Nov 11, 2024Updated last year
- Polynomial-time Meta-Interpretive Learning☆135Feb 11, 2025Updated last year
- Slurm SPANK plugin to ease setup of SSH tunnels and port forwarding☆12Mar 21, 2024Updated 2 years ago
- Codenames AI☆12Jun 21, 2022Updated 4 years ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆31May 14, 2025Updated last year
- An inductive logic programming system☆303Jun 15, 2026Updated 2 weeks ago
- A dataset generator for family tree data.☆14Mar 17, 2020Updated 6 years ago
- CAM Post Processors for the Buildbotics CNC Controller☆13Nov 8, 2024Updated last year
- X-ANFIS: An Extensible and Cross-Learning ANFIS Framework for Machine Learning Tasks☆18Jun 7, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆73May 16, 2025Updated last year
- Deep memory and sequence models in JAX☆32Jun 8, 2026Updated 3 weeks ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- A PyTorch implementation of PTSA-MCTS from [Accelerating Monte Carlo Tree Search with Probability Tree State Abstraction].☆16Oct 21, 2023Updated 2 years ago
- ☆34Jun 3, 2024Updated 2 years ago
- Demo for planning sequential tasks on contact graph☆17Jul 14, 2022Updated 3 years ago
- [ICLR 2025] Official PyTorch implementation of "DaWin: Training-free Dynamic Weight Interpolation for Robust Adaptation"☆26Jul 11, 2025Updated 11 months ago
- Dart Sense is an automatic dart scoring application. It uses a sophisticated deep learning-based computer vision model to predict the pos…☆59Jun 6, 2026Updated 3 weeks ago
- Articblush port for neovim☆13Sep 8, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- EEG-DaSh: an open data, tool, and compute resource. a Python library and catalog for 700+ BIDS-first EEG, MEG, fNIRS, EMG, and iEEG datas…☆73Jun 28, 2026Updated last week
- Leetcode test utils for local environment☆17Aug 29, 2023Updated 2 years ago
- A list of about 2000 Common English Nouns☆17Aug 18, 2012Updated 13 years ago
- Arduino library to support the VL53L1X Time-of-Flight and gesture-detection sensor☆24Nov 12, 2024Updated last year
- Use Javascript via the Python language☆14Dec 7, 2022Updated 3 years ago
- Python script that will take two manga pages, identify all the regions where the two are different, and let you choose which parts of whi…☆10Mar 28, 2021Updated 5 years ago
- ☆36Jun 9, 2026Updated 3 weeks ago
- Create re-digitizable paper maps for offline data collection in the field.☆51Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- Python G-code Development Kit☆29Dec 13, 2025Updated 6 months ago
- ☆18Mar 11, 2025Updated last year
- ☆11Nov 4, 2024Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆55Jul 18, 2024Updated last year
- Experimentation framework for Popper☆25Jul 24, 2025Updated 11 months ago
- ☆48Jun 7, 2024Updated 2 years ago