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.
☆50Aug 6, 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.☆16Updated this week
- A pure Rust implementation of TensorFlow, providing a full-featured machine learning framework with Rust's safety and performance.☆17Updated this week
- A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tenso…☆50Updated this week
- A comprehensive AI & ML project portfolio from the University of Texas at Austin PG Program, demonstrating real-world data science and ma…☆17Jan 25, 2026Updated 6 months ago
- CeleRS (Celery + Rust) is a production-ready, Celery-compatible distributed task queue library for Rust. Built from the ground up to prov…☆16Updated this 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.
- OxiArc - The Oxidized Archiver Pure Rust implementation of archive and compression formats with core algorithms implemented from scratch.☆28Updated this week
- rs3gw (Rust S3 Gateway) is an ultra-lightweight, high-throughput object storage gateway designed for AI model training and scientific com…☆23Updated this week
- DataFrame library for data analysis implemented in Rust. It has features and design inspired by Python's pandas library, combining fast d…☆18Updated this week
- VoiRS is a cutting-edge Text-to-Speech (TTS), Voice Recognition, Sound framework that unifies high-performance crates from the cool-japan…☆43Updated this week
- Lock-free ARENA allocator and a set of lock-free data structures based on the ARENA allocator.☆17Mar 14, 2026Updated 4 months 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…☆30Jul 31, 2026Updated last week
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- A high availability distributed filesystem built on FoundationDB and fuse.☆22Mar 13, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Cross-platform GPU tensor library in Rust☆21Jul 4, 2026Updated last month
- SplitRS uses AST-based analysis to automatically refactor large Rust source files (>1000 lines) into well-organized, compilable modules.☆21Updated this week
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆19Jul 18, 2026Updated 3 weeks ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years 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 7 months ago
- Sharing work on resumption monad☆12Sep 18, 2012Updated 13 years ago
- A set of scripts to download and update Waves blockchain history data into a PostgreSQL database.☆16May 25, 2026Updated 2 months ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 8 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.
- Ice is a rapid information extraction customizer☆15Apr 26, 2021Updated 5 years ago
- An Opinionated Formatter for Verus☆22Aug 1, 2026Updated last week
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆76Updated this week
- minidlna plugin for OpenMediaVault☆10May 31, 2026Updated 2 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 2 months ago
- A demo of concurrency primitives in x64 assembly☆18Jan 6, 2022Updated 4 years ago
- Unified physics engine written in Rust, aiming to replace Bullet, OpenFOAM, LAMMPS, and CalculiX.☆24Updated this week
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into…☆26Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆13Apr 10, 2025Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- The complete toolkit for building AI agents in JavaScript. Lightweight core, React & Terminal UIs, autonomous runtime, tools, skills, mem…☆18Updated this week
- have a keybind in nvim for :only that also works for tmux panes☆17Jun 13, 2026Updated last month
- An HTTP library based on compio and hyper.☆84Aug 4, 2026Updated last week
- A simple docker compose setup that works (in limited testing) on Blackwell cards☆15Oct 13, 2025Updated 9 months ago
- Pure Rust LLM Inference Engine — The Sovereign Alternative to llama.cpp License Rust Complete GGUF model loading, multi-format quantize…☆27Updated this week