Wolfgang Meier

@womeier

Open GitHub

🇩🇪 München, Germany

Profile age: about 6 years

Updated 12 days ago

7 followers • 10 following

Contacts

womeier.de

Organizations

Repositories

certicoqwasm

updated 14 days ago • age over 2 years

Rocq Prover87.2%

OCaml9.2%

C2.4%

Makefile0.9%

Shell0.3%

certicoqwasm-testing

updated about 1 month ago • age over 2 years

WebAssembly38.5%

JavaScript34.5%

Python12.3%

Makefile9.3%

Rust5.2%

secwasm

updated over 2 years ago • age over 2 years

OCaml62.1%

Jupyter Notebook25.5%

WebAssembly5.8%

JavaScript4.3%

Makefile2.3%

WasmCert-Coq

updated about 1 year ago • age about 2 years

Coq96.6%

OCaml3.1%

WebAssembly0.3%

Vyper0.1%

Contributions

2025
free-programming-books
1 PR +20-15
Python
376,889
65,386
nixpkgs
3 PRs +101-2
Nix
22,379
17,187
opam
3 PRs +34-2
OCaml
152
176
WasmCert-Coq
1 PR +99-2
Rocq Prover
110
13
7
coq-nix-toolbox
3 PRs +332-6
Nix
48
20
parseque
2 PRs +273-94
Rocq Prover
46
6
7
rocq-prover.org
1 PR +2-2
HTML
11
23
2024
wasmtime
1 PR +12-0
Rust
17,169
1,550
153
wasmtime-py
1 PR +13-0
Python
463
63
opam
1 PR +31-0
OCaml
152
176