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.
☆57Sep 16, 2026Updated last month
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.☆18Sep 12, 2026Updated last month
- OxiFY is a graph-based LLM workflow orchestration platform built in Rust, designed to compose complex AI applications using directed acyc…☆14Sep 16, 2026Updated last month
- A modern binary serialization library for Rust - the successor to bincode.☆20Oct 5, 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…☆20Sep 14, 2026Updated last month
- Pure Rust Whisper speech-to-text inference engine. Zero C/C++ dependencies.☆12Aug 13, 2026Updated 2 months 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.
- High-performance, memory-safe Rust implementation of Hugging Face Transformers. TrustformeRS brings the power of transformer models to th…☆15Sep 14, 2026Updated last month
- ToRSh (Tensor Operations in Rust with Sharding) is a PyTorch-compatible deep learning framework built entirely in Rust.☆11Sep 12, 2026Updated last month
- CeleRS (Celery + Rust) is a production-ready, Celery-compatible distributed task queue library for Rust. Built from the ground up to prov…☆19Sep 12, 2026Updated last month
- OxiGrid is a pure-Rust electrical power systems simulation and optimisation library. It provides production-grade implementations of AC/D…☆17Jul 3, 2026Updated 4 months ago
- Working agent pipeline built from timestamped Anthropic lectures☆18Jul 25, 2026Updated 3 months ago
- DataFrame library for data analysis implemented in Rust. It has features and design inspired by Python's pandas library, combining fast d…☆21Sep 12, 2026Updated last month
- OxiCtl is Pure Rust Real-Time Control Systems Framework. Comprehensive, no_std-compatible control systems framework for embedded robotics…☆15Sep 16, 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 last month
- MOVED → https://github.com/paiml/aprender (crates/aprender-serve)☆23Apr 7, 2026Updated 7 months 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.
- NumRS2: High-Performance Numerical Computing in Rust☆54Sep 12, 2026Updated last month
- a tensor logic based compiler☆16Oct 19, 2026Updated 2 weeks ago
- hiperminimal rendering of hipertext through rust macros☆15Jul 5, 2026Updated 4 months ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- A high-performance, asynchronous runtime-agnostic alternative to `tokio::watch`.☆16Aug 20, 2026Updated 2 months ago
- A Python-based logical reasoning system combining rule-based engines with Large Language Models (LLMs) for business automation. Supports …☆15Jun 17, 2025Updated last year
- An "as simple as possible" Future implementation for parking_lot☆16Aug 25, 2021Updated 5 years ago
- System One judgments (noul/choice/score) from any LLM in one prefill — a Rust, Jev-compatible /v1/systemone engine☆22Sep 28, 2026Updated last month
- Siumai (烧卖) is a type-safe Rust library that provides a single, consistent API over multiple LLM providers. It focuses on clear abstracti…☆31Oct 25, 2026Updated last 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.
- Lock-free ARENA allocator and a set of lock-free data structures based on the ARENA allocator.☆17Mar 14, 2026Updated 7 months ago
- AllegroGraph tutorials☆13Jan 5, 2024Updated 2 years ago
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆16May 30, 2020Updated 6 years ago
- QuantRS2: Rust Quantum Computing Framework☆18Sep 16, 2026Updated last month
- statsrust is a high-performance statistical analysis library for Rust developers☆14Sep 30, 2025Updated last year
- SciRS2 - Scientific Computing and AI in Rust., providing SciPy-compatible APIs while leveraging Rust's performance, safety, and concurren…☆306Oct 8, 2026Updated 3 weeks ago
- ☆19May 30, 2024Updated 2 years ago
- Rust iterator extensions for instruction-parallel reductions☆16May 28, 2026Updated 5 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆57Oct 5, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A pure Rust library for simulating spin dynamics, spin current generation, and conversion phenomena in magnetic and topological materials…☆32Sep 16, 2026Updated last month
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆63Oct 8, 2026Updated 3 weeks ago
- OxiLean is a memory-safe, high-performance Interactive Theorem Prover (ITP) natively integrated into the Rust ecosystem. Inspired by Lean…☆21Updated this week
- An HTTP library based on compio and hyper.☆90Oct 28, 2026Updated last week
- Low-latency hash map using minimal perfect hash functions and compact encoding.☆46Sep 9, 2026Updated last month
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- Ensō - an alternative python compiler written in Zig☆11Aug 27, 2026Updated 2 months ago