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.
☆30Jan 28, 2026Updated last month
Alternatives and similar repositories for tensorlogic
Users that are interested in tensorlogic are comparing it to the libraries listed below
Sorting:
- ☆11Apr 17, 2022Updated 3 years ago
- minidlna plugin for OpenMediaVault☆10Jan 3, 2026Updated last month
- Flutter State Graph Architecture☆12Aug 10, 2020Updated 5 years ago
- A BLoC pattern sample that shares logic between a mobile and a web app.☆13Oct 22, 2018Updated 7 years ago
- a small tool for downloading the tiles of google map, support to merge the all tiles into a big map☆14Jul 23, 2015Updated 10 years ago
- 📱 A minimal, clean client for Hashnode☆12Jul 8, 2021Updated 4 years ago
- ClubCoin cryptocurrency software☆15Jan 21, 2018Updated 8 years ago
- DSA Dart Broker☆10Oct 22, 2020Updated 5 years ago
- UI for Swifty serverless platform☆10Mar 2, 2023Updated 2 years ago
- CalvinFS project using C/C++☆12May 25, 2017Updated 8 years ago
- A docker image with the dependancies required to install and run Flutter tests☆17Oct 22, 2019Updated 6 years ago
- Tarot app☆15Oct 17, 2017Updated 8 years ago
- 📦 Dart Package Manager☆14Sep 27, 2019Updated 6 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- Porting Ethereum utilities from Javascript to Dart☆15Jul 24, 2025Updated 7 months ago
- A tiny LM that does inference entirely at compile time☆45Jan 9, 2026Updated last month
- Exercise for Investment and Portfolio Management Specialization offered by Rice on Coursera.☆11Aug 15, 2020Updated 5 years ago
- DSLink Dart SDK☆14Jul 15, 2021Updated 4 years ago
- Infrastructure as code for Swifty.☆11Oct 14, 2021Updated 4 years ago
- awesome web hosting companies☆12Jan 9, 2020Updated 6 years ago
- the necessary Solidity components for all seamen☆15May 26, 2019Updated 6 years ago
- A Vision of a Distributed, Free and Collectible Web ✨☆12Jun 15, 2019Updated 6 years ago
- ☆15Apr 16, 2021Updated 4 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- ☆11Apr 7, 2025Updated 10 months ago
- ☆18Apr 6, 2025Updated 10 months ago
- A fast and space efficient library to deal with data in Dart, Flutter and the web.☆24Jan 24, 2026Updated last month
- Dart packages that automatically generate data classes for you.☆16Apr 20, 2020Updated 5 years ago
- Every system has its `telos´ — its final cause. This CLI fulfills the purpose of MindsDB's Knowledge Base: to seek, structure, and serve …☆20Dec 19, 2025Updated 2 months ago
- Dart library for dunglas/mercure☆14Jun 12, 2020Updated 5 years ago
- ☆25May 31, 2012Updated 13 years ago
- Moved to https://github.com/kuzzleio/sdk-dart☆15Apr 15, 2020Updated 5 years ago
- A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tenso…☆39Dec 29, 2025Updated 2 months ago
- This is a example of how to call CUDA Kernels from the Odin programming language.☆15Aug 25, 2023Updated 2 years ago
- ☆17Mar 20, 2020Updated 5 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- ☆22Dec 23, 2025Updated 2 months ago
- It is a note of "design pattern " written in Dart that can also be compiled into a Flutter app. We have some principles such as SOLID, DR…☆15Nov 12, 2020Updated 5 years ago
- Server Sent Events client package☆14Nov 19, 2021Updated 4 years ago