cosa
by aspiwack
A thing about Coq-verified Shape Analysis
AI summary
Shape analysis framework
A Coq-based implementation of shape analysis using an abstract interpretation framework
- stars
- 4
- forks
- 0
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Application framework
A modular framework for building secure, composable, and interoperable on-chain applications
Type inference tool verifier
A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools.
Shape analyzer
A comprehensive library for statistical shape modeling and model-based image analysis in Scala.
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
Learning framework
A language that facilitates designing machine learning models with flexible configurations
Text analysis toolkit
Analyzes text generation tasks and provides visual insights
Coq blog
A blog about Coq proof assistant and its related libraries and tools
Data analysis tool
An implementation of a method for analyzing high-dimensional datasets by decomposing correlations between multiple variables.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
scRNA-seq analysis tool
An R-based web application for scRNA-seq analysis that provides a user-friendly interface for data preprocessing, visualization, and annotation.
Lambda calculus framework
A formalization of typed and untyped lambda calculus in Coq and Agda2, aiming to provide a rigorous foundation for understanding the properties of these systems.
