imm
Memory model proof checker
Compilation correctness proofs for an intermediate memory model
Intermediate Memory Model (IMM) and compilation correctness proofs for it
21 stars
4 watching
3 forks
Language: Coq
last commit: about 1 year ago coqproofweak-memory-models
Related projects:
| Repository | Description | Stars |
|---|---|---|
 doctorteeth/diffmem | Differentiable memory schemes for neural networks | 220 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |
 wasmcert/wasmcert-coq | A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model. | 100 |
 localminimum/qanet | An implementation of Google's QANet for machine reading comprehension using TensorFlow. | 983 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 388 |
 local-npm/local-npm | A local npm registry mirror that caches and updates packages to speed up installations | 1,161 |
 magmide/magmide | Creating a programming language and ecosystem to make formal verification and provably correct software development practical and mainstream for working software engineers. | 810 |
 fullmetalcache/csharpmmniceness | Tools for creating and executing memory-mapping 'niceness' in C# source files | 31 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 arnetheduck/nlvm | An LLVM-based compiler for the Nim programming language. | 711 |
 iamgroot42/mimir | A Python package for measuring memorization in Large Language Models. | 126 |
 maoni0/mem-doc | A resource for .NET memory analysis and diagnostics | 1,841 |
 imdea-software/fcsl-pcm | A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs. | 26 |
 deepseek-ai/deepseek-moe | A large language model with improved efficiency and performance compared to similar models | 1,024 |
 cmawer/reproducible-model | A project demonstrating how to create a reproducible machine learning model using Python and version control | 86 |