Christoph M. Wintersteiger

@wintersteiger

Open GitHub

🇬🇧 London, UK

@imandra-ai

Profile age: almost 11 years

Updated 4 days ago

95 followers • 2 following

Contacts

christoph@imandra.ai

http://winterstiger.at/christoph

Profile Overview

Global United Kingdom

Global Rank

Master 1

Persona

Influencer

N/A

#408,124

#127,241

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

CCF

updated over 1 year ago • age about 5 years

C++69.2%

Python24.0%

TLA2.5%

TypeScript2.3%

CMake2.0%

openenclave

updated almost 3 years ago • age over 6 years

C63.7%

C++20.4%

CMake8.6%

OCaml5.9%

Shell1.4%

Last Contributions

2025
z3
1 PR +5-0
C++
11,367
1,557
50
opam-repository
2 PRs +119-0
552
1,201
sqlite3-ocaml
1 PR +3-1
OCaml
125
37
30
linol
1 PR +13-12
OCaml
35
11
6
Public
1 PR +1-1
HTML
27
2

View all contributions

Latest Updates

26 Sep 2025
Followers Count:94 95
03 Jun 2025
Followers Count:95 94
12 Mar 2025
Followers Count:94 95
08 Feb 2025
Followers Count:92 94
09 Jan 2025
First seen

Subscribe to wintersteiger's GitHub rank updates in your messenger

WhatsApp Telegram