imm
by weakmemory
Intermediate Memory Model (IMM) and compilation correctness proofs for it
AI summary
Memory model proof checker
Compilation correctness proofs for an intermediate memory model
- stars
- 21
- forks
- 3
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Memory models
Differentiable memory schemes for neural networks
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Wasm formaliser
A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model.
Machine reading model
An implementation of Google's QANet for machine reading comprehension using TensorFlow.
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Package cache
A local npm registry mirror that caches and updates packages to speed up installations
Verification engine
Creating a programming language and ecosystem to make formal verification and provably correct software development practical and mainstream for working software engineers.
Memory mapping tool
Tools for creating and executing memory-mapping 'niceness' in C# source files
Compiler
A minimal functional programming language compiler target
Nim Compiler
An LLVM-based compiler for the Nim programming language.
Model memorization analysis
A Python package for measuring memorization in Large Language Models.
maoni0/mem-doc1.8K
Memory analysis guide
A resource for .NET memory analysis and diagnostics
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
Efficient LLM
A large language model with improved efficiency and performance compared to similar models
ML reproducibility
A project demonstrating how to create a reproducible machine learning model using Python and version control
