Wolfgang Meier's repositories
certicoqwasm
A Verified Compiler for Gallina, Written in Gallina
Language:PythonMIT000
Language:Dockerfile000
Language:Coq000
Domain-Aware-Style-Transfer
Official Implementation of Domain-Aware Universal Style Transfer
Language:PythonNOASSERTION000
lattice
A Coq formalization of (bounded) lattices
Language:CoqMIT000
mmpose
OpenMMLab Pose Estimation Toolbox and Benchmark.
Language:PythonApache-2.0000
pytorch-AdaIN
Unofficial pytorch implementation of 'Arbitrary Style Transfer in Real-time with Adaptive Instance Normalization' [Huang+, ICCV2017]
Language:PythonMIT000
Language:OCaml000
SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
Language:Coq000
strong-induction
Induction principles over natural numbers
Language:Coq000
000
WasmCert-Coq
A mechanisation of Wasm in Coq
Language:CoqMIT000