Python-based HEX implementation for a fragment of the HEX language and a subset of features.
☆15Jan 4, 2022Updated 4 years ago
Alternatives and similar repositories for hexlite
Users that are interested in hexlite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An artificial player for the popular video game Angry Birds☆20Aug 6, 2019Updated 7 years ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- brat rapid annotation tool (brat) - for all your textual annotation needs☆10Feb 3, 2018Updated 8 years ago
- A lazy-grounding Answer-Set Programming system☆66May 15, 2026Updated 5 months ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆19Jul 22, 2021Updated 5 years ago
- 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.
- ☆25Feb 17, 2026Updated 8 months ago
- notebooks, quizes, exams and labs for nyu psychology lab courses☆20Nov 7, 2024Updated last year
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆21Dec 20, 2024Updated last year
- Feasible target propagation code for the paper "Deep Learning as a Mixed Convex-Combinatorial Optimization Problem" by Friesen & Domingos…☆28Apr 12, 2018Updated 8 years ago
- ☆57Oct 12, 2026Updated 2 weeks ago
- Powerful Python-based metaprogramming for Rust☆14Updated this week
- Iterators and lazy evaluation using generics☆18Jun 2, 2023Updated 3 years ago
- Semirings are a powerful unifying abstraction for dynamic programming algorithms☆12Jul 14, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- Distributed Atomspace.☆12Jul 24, 2026Updated 3 months ago
- Attempt at reinforcement learning with curiosity for Sonic the Hedgehog games. Number 149 on OpenAI retro contest leaderboard, but more w…☆33Sep 17, 2018Updated 8 years ago
- Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language☆11Feb 26, 2024Updated 2 years ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Aug 4, 2016Updated 10 years ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 3 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Oct 22, 2026Updated last week
- Jax implementation of VIT-VQGAN☆10Jan 25, 2024Updated 2 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated 2 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- DLVHEX solver: core system and plugin API☆25Jun 13, 2019Updated 7 years ago
- MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.☆16Sep 16, 2026Updated last month
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- Metagol - an inductive logic programming system☆212Sep 13, 2021Updated 5 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆88Jul 25, 2024Updated 2 years ago
- Articles about various things☆10Jun 1, 2021Updated 5 years ago
- A persistent datastore backed by RocksDB with fuzzy key lookup using an arbitrary distance function accelerated by the SymSpell algorithm☆15May 9, 2024Updated 2 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- DRS Analysis Tool (DAT) parses and analyses Discourse Representation Structure output from Attempto Controlled English (ACE) parser (APE)…☆13Jan 13, 2019Updated 7 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago