cosa
Shape analysis framework
A Coq-based implementation of shape analysis using an abstract interpretation framework
A thing about Coq-verified Shape Analysis
4 stars
3 watching
0 forks
Language: Coq
last commit: over 10 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 engineeringsoftware/mcoq | Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. | 30 |
 uwplse/structtact | A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |
 abstractsdk/abstract | A modular framework for building secure, composable, and interoperable on-chain applications | 62 |
 rafaelcgs10/w-in-coq | A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools. | 25 |
 unibas-gravis/scalismo | A comprehensive library for statistical shape modeling and model-based image analysis in Scala. | 247 |
 coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 45 |
 xavierleroy/cdf-sem-meca | This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |
 cogcomp/saul | A language that facilitates designing machine learning models with flexible configurations | 64 |
 facebookresearch/vizseq | Analyzes text generation tasks and provides visual insights | 443 |
 arthuraa/poleiro | A blog about Coq proof assistant and its related libraries and tools | 47 |
 shu-hai/d-cca | An implementation of a method for analyzing high-dimensional datasets by decomposing correlations between multiple variables. | 11 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
 kirstlab/asc_seurat | An R-based web application for scRNA-seq analysis that provides a user-friendly interface for data preprocessing, visualization, and annotation. | 23 |
 pi8027/lambda-calculus | 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. | 78 |