heyting

v0.16.0 Experimental

Complex logical query answering over knowledge graph embeddings

MIT OR Apache-2.0 Edition 2021 MSRV 1.89

Algorithms Science #fuzzy-logic#reasoning#knowledge-graph#query-answering

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 5d ago)
!Pre-1.0: API may have breaking changes
✓Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...

Downloads

470

Dependents

Releases

Size

106KB

Deep Insights

📊

Download activity

471 downloads in the last 30 days (16/day avg).

👤

Prolific maintainer

The primary maintainer publishes 82 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

Health Breakdown

Maintenance 17/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 9/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Top Dependents

Most downloaded crates that depend on heyting

Version Adoption

v0.14.0

28%

v0.15.0

23%

v0.16.0

18%

v0.15.3

16%

v0.15.1

15%

Release Timeline

10 releasessince 2026

2026

Less

Feature Flags

tranzsubsumeprecinctvicinityhyperball

README

Loading README...

Maintainers

Henry Wallace

82 crates

Dependencies

direct dependencies