CPUmodels
by gangtan
GoNative project: formal machines models in Coq
AI summary
CPU modeling project
Formal models of computer architectures and verification tools for security checks and instrumentation
- stars
- 36
- forks
- 8
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Computer builder
An educational project building a formally verified version of the Nand 2 Tetris course using Coq and other formal tools.
Web server
A Coq-based web server written in a functional programming language
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Language models
A collection of lightweight state-of-the-art language models designed to support multilinguality, coding, and reasoning tasks on constrained resources.
Processor simulator
Formal verification and implementation of RISC-V processor designs using Coq.
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Model advisor
An LLM-based tool to assist deep learning model development
Proof assistant library
Python bindings for Coq's interactive proof assistant
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Math modeling algorithms
MATLAB implementations of various algorithms and mathematical models used in mathematical modeling competitions
