Wolfgang Jeltsch (@jeltsch)
github

jeltsch

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 30
  • Registered about 11 years ago
  • Most used languages
    Haskell
         83.3 %
    TeX
         16.7 %
  • Location ๐Ÿ‡ช๐Ÿ‡ช Estonia
  • Country Total Rank 571
  • Country Ranking
    Haskell
         3
    TeX
         8

Top repositories

1

pomelo

The Pomelo temporal programming library
Haskell
10
star
2

incremental-computing

Incremental computing
Haskell
8
star
3

wflp-2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLPย โ€™19 invited contribution)
TeX
2
star
4

actions-isabelle-build

GitHub action for building Isabelle sessions
1
star
5

order-maintenance

Algorithms for the order maintenance problem with a safe, yet flexible interface
Haskell
1
star
6

3d-graphics-examples

Examples of 3D graphics programming with OpenGL
Haskell
1
star
7

modal-programming

Modal programming in Haskell
Haskell
1
star