Neurosymbolic Library
☆30Aug 12, 2026Updated this week
Alternatives and similar repositories for neurosym-lib
Users that are interested in neurosym-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 5 months ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 10 months ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆51Oct 25, 2024Updated last year
- ☆17Nov 1, 2023Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Generic PyTorch implementation of einsum that supports different semirings☆50Dec 4, 2025Updated 8 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆33Apr 29, 2026Updated 3 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- The backend and web frontend for the KAR³L flashcard app☆14Sep 28, 2025Updated 10 months ago
- Port of SwiftyKanren to Kotlin☆19Feb 8, 2021Updated 5 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 6 months ago
- Lean formalizations of Putnam-like problems☆20Apr 22, 2026Updated 3 months ago
- POLAR official tool☆21Feb 13, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆21Jan 16, 2026Updated 7 months ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated 2 years ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆19Aug 11, 2026Updated last week
- larc solving with gpt4☆20May 25, 2023Updated 3 years ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆10Dec 12, 2023Updated 2 years ago
- Code space for L4DC paper "State-wise Safe Reinforcement Learning With Pixel Observations"☆11Apr 5, 2024Updated 2 years ago
- Making maps from DOOM in Rust☆13Mar 12, 2018Updated 8 years ago
- Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler☆15Dec 4, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- [NeurIPS24] VisMin: Visual Minimal-Change Understanding☆20Mar 3, 2025Updated last year
- Datalog with support for SMT queries and first-order functional programming☆178Aug 4, 2026Updated 2 weeks ago
- The official repo for the CoRL 2022 paper 'Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation'☆10Oct 8, 2022Updated 3 years ago
- ☆10Oct 28, 2024Updated last year
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago
- Framework and Language for Neurosymbolic Programming.☆505Jun 26, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆47Sep 9, 2023Updated 2 years ago
- 3D learning environment with rigid body simulation for Linux/MacOSX☆14Dec 24, 2021Updated 4 years ago
- ☆13Apr 3, 2024Updated 2 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated last month
- ☆13Jul 9, 2021Updated 5 years ago
- A simple command line parser☆18Nov 3, 2019Updated 6 years ago
- ☆18Sep 19, 2024Updated last year