Sign in Sign up
cargo

tensorlogic-oxirs-bridge

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.

Latest release
1d ago
Releases
6
Known CVEs
0
First release
Nov 07, 2025
License
Apache-2.0
View on Cargo
Repository

Source

cool-japan/tensorlogic
Stars
44
Forks
3
Open issues
0
Language
Rust
  • logic
  • rust
  • rust-crate
  • rust-lang
  • rust-library
  • tensor
  • tensorflow

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
6
Last 12 months
6
Cadence
~42 days
Dependencies
20

Releases per month

last 12 months

Release mix

  • patch 1
  • pre 4
6 releases
Dependencies

Depends on

0.1.1
1–10 of 20

Used by

1
Releases
Version Released
0.1.1 patch
0.1.0 initial
0.1.0-rc.1 pre
0.1.0-beta.1 pre
0.1.0-alpha.2 pre
0.1.0-alpha.1 pre