TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR, enabling neural/symbolic/probabilistic models within a unified tensor computation framework.
☆51Aug 30, 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:
- A modern binary serialization library for Rust - the successor to bincode.☆16Aug 9, 2026Updated 3 weeks ago
- A pure Rust implementation of TensorFlow, providing a full-featured machine learning framework with Rust's safety and performance.☆17Aug 17, 2026Updated 2 weeks ago
- OxiONNX is a high-performance ONNX inference engine written in pure Rust. It supports 147 ONNX operators, GPU acceleration via wgpu, SIMD…☆18Aug 13, 2026Updated 2 weeks ago
- A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tenso…☆50Aug 8, 2026Updated 3 weeks ago
- CeleRS (Celery + Rust) is a production-ready, Celery-compatible distributed task queue library for Rust. Built from the ground up to prov…☆17Updated this week
- 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.
- OxiArc - The Oxidized Archiver Pure Rust implementation of archive and compression formats with core algorithms implemented from scratch.☆29Aug 6, 2026Updated 3 weeks ago
- rs3gw (Rust S3 Gateway) is an ultra-lightweight, high-throughput object storage gateway designed for AI model training and scientific com…☆23Aug 10, 2026Updated 3 weeks ago
- VoiRS is a cutting-edge Text-to-Speech (TTS), Voice Recognition, Sound framework that unifies high-performance crates from the cool-japan…☆42Updated this week
- OxiBLAS is a production-grade, pure Rust implementation of BLAS (Basic Linear Algebra Subprograms) and LAPACK (Linear Algebra PACKage). D…☆41Aug 6, 2026Updated 3 weeks ago
- ☆15Apr 16, 2021Updated 5 years ago
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- A pure Rust library for simulating spin dynamics, spin current generation, and conversion phenomena in magnetic and topological materials…☆31Jul 31, 2026Updated last month
- Ein: a tensor logic language unifying neural and symbolic AI☆15May 11, 2026Updated 3 months ago
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SciRS2 - Scientific Computing and AI in Rust., providing SciPy-compatible APIs while leveraging Rust's performance, safety, and concurren…☆290Updated this week
- ☆12Jan 24, 2023Updated 3 years ago
- a GGUF file parser☆21Aug 10, 2026Updated 3 weeks ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago
- NumRS2: High-Performance Numerical Computing in Rust☆52Updated this week
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Cross-platform GPU tensor library in Rust☆23Updated this week
- , published by Packt☆14Oct 14, 2023Updated 2 years ago
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆19Jul 18, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Cross-platform GPU LLM inference in Rust☆20Jun 24, 2026Updated 2 months ago
- Dynamic Time Warping Library for Rust☆15Mar 4, 2026Updated 5 months ago
- A simple tool for managing sets of environment variables☆19Dec 25, 2025Updated 8 months ago
- A set of scripts to download and update Waves blockchain history data into a PostgreSQL database.☆16May 25, 2026Updated 3 months ago
- Sharing work on resumption monad☆12Sep 18, 2012Updated 13 years ago
- A powerful and simple asynchronous task management system that divides complex tasks into subtasks, processes them concurrently using o1 …☆15Dec 26, 2024Updated last year
- Ice is a rapid information extraction customizer☆15Apr 26, 2021Updated 5 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An Opinionated Formatter for Verus☆22Updated this week
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆87Aug 18, 2026Updated last week
- minidlna plugin for OpenMediaVault☆11Aug 16, 2026Updated 2 weeks ago
- A Rust library providing a tri-state type for representing value presence in schemas and data structures.☆41Jan 2, 2026Updated 7 months ago
- A small alternative to the rand crate with no unsafe code and no/minimal dependencies, based on the Xoshiro and Chacha algorithms☆16May 12, 2026Updated 3 months ago
- A simple yet fast mind map editor written in C++. You can also call LLM to get some inspiration (if you run LLM locally with Ollama).☆20Dec 12, 2025Updated 8 months ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago