CPUmodels
CPU modeling project
Formal models of computer architectures and verification tools for security checks and instrumentation
GoNative project: formal machines models in Coq
36 stars
4 watching
8 forks
Language: Coq
last commit: over 7 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 388 |
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
 philzook58/nand2coq | An educational project building a formally verified version of the Nand 2 Tetris course using Coq and other formal tools. | 54 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
 ibm-granite/granite-3.0-language-models | A collection of lightweight state-of-the-art language models designed to support multilinguality, coding, and reasoning tasks on constrained resources. | 232 |
 sifive/prockami | Formal verification and implementation of RISC-V processor designs using Coq. | 22 |
 huynhtrankhanh/coqcp | Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof | 22 |
 fabprezja/keras-gpt-copilot | An LLM-based tool to assist deep learning model development | 28 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
 cpitclaudel/alectryon | A tool for processing Coq and Lean 4 code embedded in text documents | 237 |
| cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 351 |
 huangcongqing/algorithms_mathmodels | MATLAB implementations of various algorithms and mathematical models used in mathematical modeling competitions | 2,141 |