Neurosymbolic Library
☆28Mar 19, 2026Updated last 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:
- This is the official code implementation of Bongard-OpenWorld (ICLR 2024).☆14Jan 6, 2025Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Oct 25, 2024Updated last year
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆16Mar 18, 2026Updated last week
- Automatic generation of architecture-level models for hardware from its RTL design.☆14Apr 12, 2023Updated 2 years ago
- ☆16Nov 1, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Python notebooks for a tutorial on neurosymbolic programming☆77Apr 15, 2024Updated last year
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Generic PyTorch implementation of einsum that supports different semirings☆50Dec 4, 2025Updated 3 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆32Oct 12, 2024Updated last year
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- Codebase for Neuro-Symbolic Continual Learning.☆26Aug 21, 2023Updated 2 years ago
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆19Jan 16, 2026Updated 2 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- Code space for L4DC paper "State-wise Safe Reinforcement Learning With Pixel Observations"☆11Apr 5, 2024Updated last year
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- larc solving with gpt4☆20May 25, 2023Updated 2 years ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Mar 11, 2026Updated 2 weeks ago
- AN INTERACTIVE REMOTE SENSING CHANGE ANALYSIS MODEL BASED ON MULTIMODAL INSTRUCTION TUNING☆21Jun 16, 2025Updated 9 months ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆20Jul 14, 2025Updated 8 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated last month
- 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.
- POLAR official tool☆20Feb 13, 2026Updated last month
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- Making maps from DOOM in Rust☆11Mar 12, 2018Updated 8 years ago
- ☆10Oct 28, 2024Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- Datalog with support for SMT queries and first-order functional programming☆169Mar 9, 2026Updated 2 weeks ago
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Framework and Language for Neurosymbolic Programming.☆462May 1, 2025Updated 10 months ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆10Dec 12, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The OpenPiton Platform☆29May 22, 2023Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆45Sep 9, 2023Updated 2 years ago
- Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers☆15Jun 25, 2024Updated last year
- This is the official code for "Enhancing Perception of Key Changes in Remote Sensing Image Change Captioning"☆20Jul 30, 2025Updated 7 months ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated last year
- Fixed-wing autopilot for ROSflight☆36Feb 4, 2026Updated last month
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Mar 19, 2026Updated last week