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

Profile Overview

Global Germany

Global Rank

Legend 2

Persona

Contributor

#892,189

#13,937

#1,644,854

Explore Ranks

Top 3 Languages By Stars

All Languages

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%

Last 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

View all contributions

Latest Updates

29 Aug 2025
Location:Munich München, Germany
Followers Count:5 7
04 Jul 2025
Location: Munich
19 May 2025
Location:Aarhus, Denmark (removed)
16 Jan 2025
First seen

Subscribe to womeier's GitHub rank updates in your messenger

WhatsApp Telegram