Discover @gbasler Open Source projects

Gérard Basler (@gbasler)

gbasler

Stars
9
Global Rank 1,034,169 (Top 36 %)
Followers 20
Following 23
Registered over 14 years ago
Most used languages

Scala
66.7 %

Idris 33.3 %
Location 🇨🇭 Switzerland
Country Total Rank 7,141
Country Ranking

Idris 4

Scala
183

barrier-option

Binomial tree model for options

habanero-scala-test

Boom

Model Checker for Boolean Programs

idris-book

Exercises form Type-Driven Programming in Idris