All Git Users → alexknvl

5 open source projects by alexknvl

[ Open user page on Github ]

✭ 118

Polymorphic values in Scala

✭ 69

Compress long exception traces down to short signatures

✭ 20

java scala stacktrace debugging fuzzing bugs stacktrace-filtering

Leibniz equivalence and Liskov substitutability library for Scala.

✭ 35

scala java equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types

fonline-open-source is an open source implementation of the Fallout Online

✭ 46

1-5 of 5 user projects