Wolfgang Meier (womeier)

womeier

Geek Repo

Location:Aarhus, Denmark

Home Page:womeier.de

Github PK Tool:Github PK Tool

Wolfgang Meier's repositories

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

certicoq

A Verified Compiler for Gallina, Written in Gallina

Language:CoqLicense:MITStargazers:0Issues:0Issues:0
Language:WebAssemblyStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

ConCert

A framework for smart contract verification in Coq

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

coq-rust-extraction

Coq plugin for extracting Rust code

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

Domain-Aware-Style-Transfer

Official Implementation of Domain-Aware Universal Style Transfer

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

lattice

A Coq formalization of (bounded) lattices

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

mmpose

OpenMMLab Pose Estimation Toolbox and Benchmark.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pytorch-AdaIN

Unofficial pytorch implementation of 'Arbitrary Style Transfer in Real-time with Adaptive Instance Normalization' [Huang+, ICCV2017]

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:3Issues:6
Language:MakefileLicense:MITStargazers:0Issues:0Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

refinement-types

A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions

License:MITStargazers:0Issues:0Issues:0

WasmCert-Coq

A mechanisation of Wasm in Coq

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

wasmtime-py

Python WebAssembly runtime powered by Wasmtime

License:Apache-2.0Stargazers:0Issues:0Issues:0