Wolfgang Meier's repositories
certicoq
A Verified Compiler for Gallina, Written in Gallina
ConCert
A framework for smart contract verification in Coq
coq-rust-extraction
Coq plugin for extracting Rust code
Domain-Aware-Style-Transfer
Official Implementation of Domain-Aware Universal Style Transfer
lattice
A Coq formalization of (bounded) lattices
mmpose
OpenMMLab Pose Estimation Toolbox and Benchmark.
pytorch-AdaIN
Unofficial pytorch implementation of 'Arbitrary Style Transfer in Real-time with Adaptive Instance Normalization' [Huang+, ICCV2017]
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
WasmCert-Coq
A mechanisation of Wasm in Coq
wasmtime-py
Python WebAssembly runtime powered by Wasmtime