Wolfgang Jeltsch
@jeltsch
A background refresh was started because this profile was last fetched over a day ago.
- Country
- Estonia
- Rank
- #355
- Profile
- View on GitHub
- Company
- @well-typed
- Location
- Tallinn, Estonia
- Blog/Website
- https://wolfgang.jeltsch.info/
- -
- -
- Hireable
- -
- Public Repos
- 29
- Public Gists
- 0
- Account
- User
- Joined GitHub
- Nov 15, 2013 (12 years, 3 months ago)
- Last Updated
- Oct 30, 2025 13:24
Bio
I’m passionate about functional programming, logic, type theory, category theory, and more.
Followers
46
Following
0
Contributions
218
Intelligence
9.6
Similar Developers
