☆62Jul 29, 2023Updated 2 years ago
Alternatives and similar repositories for Logic-programming
Users that are interested in Logic-programming are comparing it to the libraries listed below
Sorting:
- ☆14Updated this week
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- ☆28Updated this week
- vim plugin that support doing CRs and MRs in gitlab☆12May 30, 2020Updated 5 years ago
- Official Implementation of the CVPR'23 paper 'Regularization of polynomial networks for image recognition'.☆10Jun 8, 2023Updated 2 years ago
- Optimizing loading training data from cloud bucket storage for cloud-based distributed deep learning. Official repository for Quantifying…☆11Jan 1, 2022Updated 4 years ago
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated last month
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- [Corca / OR] Solver for Multi-dimensional Multi-demand Quadratic Knapsack Problems☆12Mar 22, 2022Updated 3 years ago
- ☆12Aug 13, 2025Updated 6 months ago
- Elasticsearch for Pharo Smalltalk☆10Aug 3, 2021Updated 4 years ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 6 months ago
- A machine learning software for extracting astronomical entities from scholarly documents☆10Oct 31, 2022Updated 3 years ago
- Drastically Reducing the Number of Trainable Parameters in Deep CNNs by Inter-layer Kernel-sharing☆14Mar 28, 2023Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- LONGAGENT: Scaling Language Models to 128k Context through Multi-Agent Collaboration☆11Mar 11, 2024Updated last year
- Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel☆13Feb 18, 2026Updated 2 weeks ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- For ACL25 paper "WAFFLE: Multi-Modal Model for Automated Front-End Development" - by Shanchao Liang and Nan Jiang and Shangshu Qian and L…☆11May 28, 2025Updated 9 months ago
- Multi-person podcast audio to videocast☆10Sep 28, 2024Updated last year
- ammonite vi mode ivy☆10Dec 1, 2023Updated 2 years ago
- Nonnegative Tensor Factorization + k-means clustering and physics constraints for Unsupervised and Physics-Informed Machine Learning☆10Oct 19, 2025Updated 4 months ago
- ☆22Aug 4, 2025Updated 7 months ago
- ☆10Mar 1, 2025Updated last year
- ☆17Jun 20, 2023Updated 2 years ago
- Source code of the publication MICRA-Net: MICRoscopy Analysis Neural Network to solve detection, classification, and segmentation from a …☆10Feb 19, 2024Updated 2 years ago
- Visualisation of memory for Pharo images at the Virtual Machine level☆14Sep 26, 2023Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- ☆15Jan 6, 2025Updated last year
- This repository contains the reference implementation of the additive autoencoder. The technique is derived and experiments summarized in…☆13Oct 13, 2022Updated 3 years ago
- ChatPharo is an AI Assistant inside the Pharo environment.☆21Feb 26, 2026Updated last week
- Cyberdolphin Suite of ComfyUI nodes for wiring up OpenAI and compatible LLM APIs.☆15Jul 31, 2024Updated last year
- ☆11Nov 16, 2019Updated 6 years ago
- Library for doing both symbolic and numeric calculations for linear Structural Causal Models (SCM)☆14May 20, 2024Updated last year
- [Re] Next Generation Reservoir Computing☆11Dec 12, 2022Updated 3 years ago
- UC2 micrometer stage☆12Jul 5, 2021Updated 4 years ago
- Official repository of the ZEOS token contract☆11Oct 31, 2023Updated 2 years ago