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.
☆55Sep 16, 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:
- A modern binary serialization library for Rust - the successor to bincode.☆19Oct 5, 2026Updated last week
- A pure Rust implementation of TensorFlow, providing a full-featured machine learning framework with Rust's safety and performance.☆16Sep 12, 2026Updated last month
- OxiONNX is a high-performance ONNX inference engine written in pure Rust. It supports 147 ONNX operators, GPU acceleration via wgpu, SIMD…☆19Sep 14, 2026Updated last month
- A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tenso…☆53Aug 8, 2026Updated 2 months ago
- A comprehensive AI & ML project portfolio from the University of Texas at Austin PG Program, demonstrating real-world data science and ma…☆18Jan 25, 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.
- OxiArc - The Oxidized Archiver Pure Rust implementation of archive and compression formats with core algorithms implemented from scratch.☆33Oct 5, 2026Updated last week
- DataFrame library for data analysis implemented in Rust. It has features and design inspired by Python's pandas library, combining fast d…☆19Sep 12, 2026Updated last month
- rs3gw (Rust S3 Gateway) is an ultra-lightweight, high-throughput object storage gateway designed for AI model training and scientific com…☆26Sep 16, 2026Updated 3 weeks ago
- OxiBLAS is a production-grade, pure Rust implementation of BLAS (Basic Linear Algebra Subprograms) and LAPACK (Linear Algebra PACKage). D…☆44Sep 14, 2026Updated last month
- ☆19May 30, 2024Updated 2 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- Multiplayer terminal multiplexer where multiple users and machines can connect to a same session☆72Sep 19, 2026Updated 3 weeks ago
- A pure Rust library for simulating spin dynamics, spin current generation, and conversion phenomena in magnetic and topological materials…☆31Sep 16, 2026Updated 3 weeks ago
- Ein: a tensor logic language unifying neural and symbolic AI☆16May 11, 2026Updated 5 months ago
- 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.
- SciRS2 - Scientific Computing and AI in Rust., providing SciPy-compatible APIs while leveraging Rust's performance, safety, and concurren…☆297Updated this week
- a GGUF file parser☆21Aug 31, 2026Updated last month
- NumRS2: High-Performance Numerical Computing in Rust☆53Sep 12, 2026Updated last month
- Categorica: a pure and applied category theory framework for the Wolfram Language☆38Mar 24, 2024Updated 2 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆22Mar 13, 2023Updated 3 years ago
- Cross-platform GPU tensor library in Rust☆25Oct 4, 2026Updated last week
- Rust implementation of CRYSTALS post-quantum cryptography primitives: Kyber key-encapsulation mechanism and Dilitium digital signature al…☆15Aug 1, 2022Updated 4 years ago
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆20Sep 20, 2026Updated 3 weeks ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Cross-platform GPU LLM inference in Rust☆20Jun 24, 2026Updated 3 months ago
- ☆15Aug 29, 2023Updated 3 years ago
- Dynamic Time Warping Library for Rust☆16Mar 4, 2026Updated 7 months ago
- A set of scripts to download and update Waves blockchain history data into a PostgreSQL database.☆16May 25, 2026Updated 4 months ago
- 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
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆96Sep 12, 2026Updated last month
- minidlna plugin for OpenMediaVault☆11Aug 16, 2026Updated last month
- A Rust library providing a tri-state type for representing value presence in schemas and data structures.☆41Oct 5, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A small alternative to the rand crate with no unsafe code and no/minimal dependencies, based on the Xoshiro and Chacha algorithms☆17May 12, 2026Updated 5 months ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years 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 10 months ago
- Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into…☆30Updated this week
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust for SMR Protocols Research☆19Sep 8, 2026Updated last month
- have a keybind in nvim for :only that also works for tmux panes☆16Jun 13, 2026Updated 4 months ago