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