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
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: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
wasmtime-py
Python WebAssembly runtime powered by Wasmtime
Apache-2.0000