A vector library specialized in the formalization of SPMD programs
-
Updated
Feb 15, 2019 - Coq
A vector library specialized in the formalization of SPMD programs
An experimental ontology language formalized in Coq with many semantics
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Certified LambdaJS semantics and interpreter.
A Coq Formalization of the Brainfuck programming language
A core language for rule-based hardware design 🦑
Add a description, image, and links to the semantics topic page so that developers can more easily learn about it.
To associate your repository with the semantics topic, visit your repo's landing page and select "manage topics."