Discover @glaebhoerl Open Source projects

Gábor Lehel (@glaebhoerl)

glaebhoerl

Stars
46
Global Rank 361,753 (Top 13 %)
Followers 67
Following 292
Registered about 13 years ago
Most used languages

Haskell
60.0 %

Rust
20.0 %

C++
20.0 %
Location 🇭🇺 Hungary
Country Total Rank 638
Country Ranking

Haskell
6

Rust
47

C++
358

simplecompiler

used to be something more ambitious, cut scope to just a simple compiler for thesis project

rust-notes

rust-frp

Unsophisticated push-based FRP library in Rust

ducks

These are my notes about the ideas I had for a statically structurally typed programming language, many years ago

type-eq

Type equality evidence you can carry around

odds-and-ends

this, that, and maybe the other

exists

Existential datatypes holding evidence of constraints