Home » ai.acyclic.shapesafe » shapesafe-core

Shapesafe

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

LicenseApache 2.0
Tagsai
HomePage https://github.com/tribbloid/shapesafe 🔍 Inspect URL
Ranking#857264 in MvnRepository (See Top Artifacts)

Version ▼ScalaVulnerabilitiesRepositoryUsagesDate
0.1.x
0.1.42.13
Central
0
Jun 02, 2022
0.1.32.13
Central
0
Mar 27, 2022
0.1.22.13
Central
0
Mar 26, 2022
0.1.12.13
Central
0
Feb 12, 2022
0.1.02.13
Central
0
Feb 07, 2022

Related Books

Applied AI for Enterprise Java Development: Leveraging Generative AI, LLMs, and Machine Learning in the Java EnterpriseApplied AI for Enterprise Java Development: Leveraging Generative AI, LLMs, and Machine Learning in the Java Enterprise (2025)
by Bueno, Alex Soto, Eisele, Markus, Vinto, Natale
AI for Everyday IT: Accelerate workplace productivityAI for Everyday IT: Accelerate workplace productivity (2025)
by LeMaire, Chrissy, Abshire, Brandon
The AI Engineering Bible: The Complete and Up-to-Date Guide to Build, Develop and Scale Production Ready AI SystemsThe AI Engineering Bible: The Complete and Up-to-Date Guide to Build, Develop and Scale Production Ready AI Systems (2025)
by Caldwell, Thomas R.
AI Engineering: Building Applications with Foundation ModelsAI Engineering: Building Applications with Foundation Models (2025)
by Huyen, Chip
AI and Machine Learning for Coders: A Programmer's Guide to Artificial IntelligenceAI and Machine Learning for Coders: A Programmer's Guide to Artificial Intelligence (2020)
by Moroney, Laurence