A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tensor equations.
☆53Aug 8, 2026Updated 2 months 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,…☆57Sep 16, 2026Updated last month
- Ein: a tensor logic language unifying neural and symbolic AI☆16May 11, 2026Updated 5 months ago
- A rust port of con-leche☆34Updated this week
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆16Sep 9, 2026Updated last month
- Automatically prove mathematical statements about your jax code in lean☆53Aug 6, 2026Updated 2 months 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.
- Code for the paper "Goals as Reward Producing Programs"☆14Dec 5, 2024Updated last year
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- 𝔸𝕄𝔹ℝ𝕆𝕊𝕀𝔸: A Benchmark for Parsing Ambiguous Questions into Database Queries☆16Oct 31, 2024Updated last year
- Semantic code intelligence MCP server - build knowledge graphs of codebases to enhance AI-assisted code exploration.☆16Updated this week
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated last week
- [MICCAI 2025 Young Scientist Award] Official implementation of "Learning Concept-Driven Logical Rules for Interpretable and Generalizable…☆16Aug 29, 2025Updated last year
- My Blog☆18Oct 17, 2026Updated last week
- ☆14Apr 5, 2026Updated 6 months ago
- CL21's spin-off project that provides neat APIs for regular expressions.☆16Nov 19, 2016Updated 9 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.
- ☆15Mar 28, 2024Updated 2 years ago
- Create gifs in clojure!☆11Jan 23, 2024Updated 2 years ago
- ☆15Jun 10, 2026Updated 4 months ago
- Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CI☆31Oct 6, 2026Updated 3 weeks ago
- ☆13Mar 22, 2026Updated 7 months ago
- The Amsterdam Compiler Kit☆27Mar 30, 2025Updated last year
- Low-level sensory I/O Atoms☆17Feb 25, 2026Updated 8 months ago
- A proof of concept to demonstrate using re-frame for desktop and terminal apps.☆14Oct 9, 2022Updated 4 years ago
- Go development tree for the arm64 port (historical).☆18Dec 25, 2018Updated 7 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.
- Generates RSS feed for Lobste.rs that filters by score and provides comments as link.☆15Oct 20, 2026Updated last week
- ☆15Apr 19, 2026Updated 6 months ago
- OrientDb package for meteor☆15Jul 21, 2015Updated 11 years ago
- ☆22Jul 1, 2026Updated 3 months ago
- ☆10Jun 15, 2022Updated 4 years ago
- Neo4j API for Meteor☆19Oct 25, 2016Updated 10 years ago
- NeuralFractal | A Visual Exploration of Neural Dynamical Systems☆18Jan 11, 2022Updated 4 years ago
- Official repository for distributing ECG-Reasoning-Benchmark dataset☆20Sep 8, 2026Updated last month
- grue is a CLI that turns any S3-compatible bucket into a container registry☆25Sep 16, 2026Updated last month
- 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.
- ☆18Dec 23, 2021Updated 4 years ago
- A Web Un-Framework, with fine-grained, transparent reactivity all the way down.☆29May 12, 2023Updated 3 years ago
- Emacs package to backup each save of a file☆10Jun 1, 2019Updated 7 years 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
- ☆24Mar 24, 2026Updated 7 months ago
- This repository contains my personalized configuration files for Neovim, tailored to enhance my coding and editing experience. Feel free …☆12Dec 18, 2023Updated 2 years ago