Neurosymbolic Library
☆31Aug 19, 2026Updated 2 months ago
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:
- 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 2 years ago
- This is the official code implementation of Bongard-OpenWorld (ICLR 2024).☆14Jan 6, 2025Updated last year
- A scalable abstraction learning library☆110Sep 8, 2026Updated last month
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated last year
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years 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.
- Python notebooks for a tutorial on neurosymbolic programming☆79Apr 15, 2024Updated 2 years ago
- Framework and Language for Neurosymbolic Programming.☆525Jun 26, 2026Updated 4 months ago
- Old analysis plugins for OSATE2 repository, kept for reference☆13May 16, 2018Updated 8 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 3 years ago
- ☆13Apr 17, 2025Updated last year
- Generic PyTorch implementation of einsum that supports different semirings☆51Dec 4, 2025Updated 11 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Library implementation of DreamCoder as adapted for LAPS.☆13Jun 9, 2023Updated 3 years ago
- A website for viewing statistics of various areas in the United States.☆27Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🕸️ A visualizer for graphs defined as logic programs☆36Aug 25, 2026Updated 2 months ago
- A spaced-repetition platform for learning propositional logic, powered by a knowledge graph and the FSRS v6 algorithm.☆11Mar 24, 2026Updated 7 months ago
- Lean formalizations of Putnam-like problems☆22Aug 28, 2026Updated 2 months ago
- The backend and web frontend for the KAR³L flashcard app☆14Sep 28, 2025Updated last year
- Method developed by Tiago Dantas and Fernando Cyrino Oliveira that combines Bagging, Clusters and ETS to produce highly accurate time ser…☆11Oct 13, 2026Updated 3 weeks ago
- GNU Guile Scheme bindings for OCaml☆19Aug 5, 2022Updated 4 years ago
- Implementation of the Structure-Mapping Engine (Falkenhainer et al., 1989) in Clojure.☆12Feb 23, 2011Updated 15 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 3 years ago
- POLAR official tool☆21Feb 13, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆27Jun 6, 2024Updated 2 years ago
- Haskell interface to automated theorem provers☆10Feb 10, 2022Updated 4 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- A Python obfuscator using Python's abstract Syntax trees to change all variable names to different Unicode variations of X.☆11Jun 27, 2020Updated 6 years ago
- A partial solution manual to Nielsen and Chuang's Quantum Computing and Quantum Information. Selected problems are intended to complement…☆13May 9, 2024Updated 2 years ago
- Neuro-Symbolic RL agent plays MiniHack☆10Mar 30, 2026Updated 7 months ago
- Code for the paper "Goals as Reward Producing Programs"☆14Dec 5, 2024Updated last year
- Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler☆15Dec 4, 2023Updated 2 years ago
- Automated data race detection from a distributed trace via SMT constraint solving☆18Jan 4, 2022Updated 4 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.
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆11Dec 12, 2023Updated 2 years ago
- Implementation of higher-order logic in Python☆69Feb 25, 2023Updated 3 years ago
- ☆13Sep 12, 2026Updated last month
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated 2 years ago
- An R package for causal discovery in heavy-tailed models☆12Sep 30, 2026Updated last month
- PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into s…☆45Aug 22, 2025Updated last year
- DeepLog: the PyTorch for neurosymbolic AI☆26Oct 28, 2026Updated last week