A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tensor equations.
☆50Aug 8, 2026Updated this week
Alternatives and similar repositories for tensorlogic
Users that are interested in tensorlogic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR,…☆50Updated this week
- Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CI☆23Jul 30, 2026Updated last week
- 𝔸𝕄𝔹ℝ𝕆𝕊𝕀𝔸: A Benchmark for Parsing Ambiguous Questions into Database Queries☆16Oct 31, 2024Updated last year
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆22Jun 4, 2026Updated 2 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 13 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.
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago
- ☆27Apr 16, 2026Updated 3 months ago
- Create gifs in clojure!☆11Jan 23, 2024Updated 2 years ago
- Emacs plugin for borkdude/carve☆10Apr 27, 2026Updated 3 months ago
- ☆10Jun 15, 2022Updated 4 years ago
- Python memory debugger and analyzer☆18Jul 7, 2026Updated last month
- Content-addressable memory system based on projective geometry (Schubert calculus on Grassmannian G(2,4))☆16Mar 24, 2026Updated 4 months ago
- A Web Un-Framework, with fine-grained, transparent reactivity all the way down.☆29May 12, 2023Updated 3 years ago
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Apr 19, 2026Updated 3 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.
- OrientDb package for meteor☆15Jul 21, 2015Updated 11 years ago
- ☆23Mar 24, 2026Updated 4 months ago
- ☆29Jan 19, 2026Updated 6 months ago
- [ICLR 2026 Oral] RAIN-Merging☆15Mar 9, 2026Updated 5 months ago
- creation and protection of large GHZ states☆16Oct 12, 2025Updated 9 months ago
- MarkLogic XCC in Clojure☆15May 28, 2019Updated 7 years ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆26Updated this week
- ☆12Sep 2, 2025Updated 11 months ago
- Package for defining computation graphs and performing intervention experiments☆16Oct 1, 2021Updated 4 years ago
- 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.
- Towards autonomous quantum physics research using LLM agents with access to intelligent tools☆19Jul 26, 2026Updated 2 weeks ago
- Emacs Packages developed as part of Corgi☆16Jun 15, 2026Updated last month
- AI-driven discovery of new Gravitational Wave Detectors☆26Jan 10, 2024Updated 2 years ago
- ☆33Jun 9, 2022Updated 4 years ago
- Wordle clone in clojurescript☆17Feb 7, 2022Updated 4 years ago
- A collection of neuro-symbolic systems, papers and videos☆43Jan 12, 2026Updated 6 months ago
- Demonstration of DSPy optimization for Skill.md files☆15Dec 28, 2025Updated 7 months ago
- ☆19Feb 26, 2026Updated 5 months ago
- Interactive MIDI in Jupyter☆16Jul 6, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Groq-powered MAD: The first work to explore Multi-Agent Debate with Large Language Models :D☆12Jul 5, 2024Updated 2 years ago
- A template repo for folks wanting to do Advent of Code with Clerk.☆17Dec 3, 2025Updated 8 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 8 months ago
- Example setups of selected Clojure libraries☆20Jul 29, 2025Updated last year
- Emacs bindings for the Clojure Clay tool☆18Nov 23, 2025Updated 8 months ago
- Common code for squint and cherry☆14Dec 31, 2022Updated 3 years ago
- The Jazz Trio Database is a dataset composed of about 45 hours of jazz performances annotated by an automated signal processing pipeline.☆16Sep 27, 2025Updated 10 months ago