alumkal/awesome-formal-ai

A curated list of awesome formal reasoning AI.

/ 100

Experimental

No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 2 / 25

Adoption 3 / 25

Maturity 9 / 25

Community 0 / 25

Stars

Forks

—

Language

—

License

CC-BY-4.0

Category

Last pushed

May 01, 2025

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/alumkal/awesome-formal-ai"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

voxel51/fiftyone

Refine high-quality datasets and visual AI models

academic/awesome-datascience

:memo: An awesome Data Science repository to learn and apply for real world problems.

sacridini/Awesome-Geospatial

Long list of geospatial tools and resources

neomatrix369/awesome-ai-ml-dl

Awesome Artificial Intelligence, Machine Learning and Deep Learning as we learn it. Study notes...

awesome-mlss/awesome-mlss

🤖 Machine Learning Summer School Guide