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.
☆51Sep 16, 2026Updated last 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 pure Rust implementation of TensorFlow, providing a full-featured machine learning framework with Rust's safety and performance.☆16Sep 12, 2026Updated last week
- A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tenso…☆53Aug 8, 2026Updated last month
- 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 7 months ago
- CeleRS (Celery + Rust) is a production-ready, Celery-compatible distributed task queue library for Rust. Built from the ground up to prov…☆18Sep 12, 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 week
- 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.
- rs3gw (Rust S3 Gateway) is an ultra-lightweight, high-throughput object storage gateway designed for AI model training and scientific com…☆25Sep 16, 2026Updated last week
- VoiRS is a cutting-edge Text-to-Speech (TTS), Voice Recognition, Sound framework that unifies high-performance crates from the cool-japan…☆46Sep 16, 2026Updated last week
- OxiBLAS is a production-grade, pure Rust implementation of BLAS (Basic Linear Algebra Subprograms) and LAPACK (Linear Algebra PACKage). D…☆42Sep 14, 2026Updated last week
- Lock-free ARENA allocator and a set of lock-free data structures based on the ARENA allocator.☆17Mar 14, 2026Updated 6 months ago
- Multiplayer terminal multiplexer where multiple users and machines can connect to a same session☆72Updated this week
- 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…☆31Sep 16, 2026Updated last week
- Ein: a tensor logic language unifying neural and symbolic AI☆16May 11, 2026Updated 4 months ago
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SciRS2 - Scientific Computing and AI in Rust., providing SciPy-compatible APIs while leveraging Rust's performance, safety, and concurren…☆295Sep 16, 2026Updated last week
- ☆12Jan 24, 2023Updated 3 years ago
- NumRS2: High-Performance Numerical Computing in Rust☆53Sep 12, 2026Updated last 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☆23Aug 27, 2026Updated 3 weeks ago
- SplitRS uses AST-based analysis to automatically refactor large Rust source files (>1000 lines) into well-organized, compilable modules.☆23Aug 26, 2026Updated 3 weeks ago
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆20Updated this week
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Dynamic Time Warping Library for Rust☆15Mar 4, 2026Updated 6 months ago
- 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 set of scripts to download and update Waves blockchain history data into a PostgreSQL database.☆16May 25, 2026Updated 3 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☆95Sep 12, 2026Updated last week
- An Opinionated Formatter for Verus☆22Sep 12, 2026Updated last week
- 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.☆41Sep 14, 2026Updated last week
- 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 4 months ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years 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.
- Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into…☆29Sep 16, 2026Updated last week
- ☆13Apr 10, 2025Updated last year
- have a keybind in nvim for :only that also works for tmux panes☆16Jun 13, 2026Updated 3 months ago
- A simple docker compose setup that works (in limited testing) on Blackwell cards☆16Oct 13, 2025Updated 11 months ago
- An HTTP library based on compio and hyper.☆85Sep 14, 2026Updated last week
- The complete toolkit for building AI agents in JavaScript. Lightweight core, React & Terminal UIs, autonomous runtime, tools, skills, mem…☆26Updated this week
- Pure Rust LLM Inference Engine — The Sovereign Alternative to llama.cpp License Rust Complete GGUF model loading, multi-format quantize…☆37Aug 17, 2026Updated last month