Wolfgang Meier's repositories
certicoq
A Verified Compiler for Gallina, Written in Gallina
Language:CoqMIT000
Language:WebAssembly000
ConCert
A framework for smart contract verification in Coq
Language:CoqMIT000
coq-rust-extraction
Coq plugin for extracting Rust code
Language:CoqMIT000
Domain-Aware-Style-Transfer
Official Implementation of Domain-Aware Universal Style Transfer
Language:PythonNOASSERTION000
Language:Python000
Language:MakefileMIT000
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCamlLGPL-2.1000
refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
MIT000
WasmCert-Coq
A mechanisation of Wasm in Coq
Language:CoqMIT000