A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tensor equations.
☆50Aug 8, 2026Updated 3 weeks ago
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,…☆51Updated this week
- Ein: a tensor logic language unifying neural and symbolic AI☆15May 11, 2026Updated 3 months ago
- ☆12Jul 21, 2024Updated 2 years ago
- Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CI☆27Aug 14, 2026Updated 2 weeks ago
- The most minimal C you can do real work in☆16May 8, 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.
- 𝔸𝕄𝔹ℝ𝕆𝕊𝕀𝔸: A Benchmark for Parsing Ambiguous Questions into Database Queries☆16Oct 31, 2024Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago
- ☆13Oct 18, 2023Updated 2 years ago
- A pod around buddy core (Cryptographic Api for Clojure).☆17Jun 6, 2024Updated 2 years ago
- Create gifs in clojure!☆11Jan 23, 2024Updated 2 years ago
- An openAI CLI built in rust☆10Dec 28, 2022Updated 3 years ago
- NeuralFractal | A Visual Exploration of Neural Dynamical Systems☆18Jan 11, 2022Updated 4 years ago
- ☆18Dec 23, 2021Updated 4 years ago
- Code for the "Sample-efficient Integration of New Modalities into Large Language Models" paper☆18Sep 8, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python memory debugger and analyzer☆21Jul 7, 2026Updated last month
- Content-addressable memory system based on projective geometry (Schubert calculus on Grassmannian G(2,4))☆16Mar 24, 2026Updated 5 months ago
- A proof of concept to demonstrate using re-frame for desktop and terminal apps.☆14Oct 9, 2022Updated 3 years ago
- ☆23Mar 24, 2026Updated 5 months ago
- ☆29Jan 19, 2026Updated 7 months ago
- A small Clojure library for handling Discord interactions (slash commands and components)☆10Jul 6, 2024Updated 2 years ago
- MarkLogic XCC in Clojure☆15May 28, 2019Updated 7 years ago
- Initial repo for behavioral analyses☆11Aug 24, 2022Updated 4 years ago
- Learn about species counterpoints with an interactive web editor that checks your counterpoints for mistakes and dynamically generates ex…☆14Jul 31, 2022Updated 4 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.
- [CIKM2025] SemiSegECG: A Multi-Dataset Benchmark for Semi-Supervised Semantic Segmentation in ECG Delineation☆21Jan 21, 2026Updated 7 months ago
- ☆15Jan 13, 2026Updated 7 months ago
- Package for defining computation graphs and performing intervention experiments☆16Oct 1, 2021Updated 4 years ago
- Emacs Packages developed as part of Corgi☆16Jun 15, 2026Updated 2 months ago
- Exploring retweets by Twitter bot-nets.☆11Aug 30, 2017Updated 9 years ago
- Official repository of "BenchECG and xECG: a benchmark and baseline for ECG foundation models"☆22Aug 5, 2026Updated 3 weeks ago
- Command line time tracker compatible with gtimelog☆16Nov 17, 2025Updated 9 months ago
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆16Nov 1, 2022Updated 3 years ago
- Decoding Raymarine's ARCHIVE.FSH files, Garmin's IMG/ADM archives and the TRK subfiles.☆10Oct 22, 2019Updated 6 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.
- ☆13Jun 24, 2023Updated 3 years ago
- In this project, we are going to use a random forest algorithm (or any other preferred algorithm) from scikit-learn library to help predi…☆11Jul 30, 2021Updated 5 years ago
- Gracefully retire your functions or arguments that are no longer needed (experimental)☆17Jul 25, 2019Updated 7 years ago
- A framework for clean, testable, and high-performance CUDA kernels.☆22Sep 23, 2025Updated 11 months 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 9 months ago
- Example setups of selected Clojure libraries☆20Jul 29, 2025Updated last year