Aleksey Kliger (λgeek)

icon indicating a website link lambdageek.dev

icon company @Microsoft icon location Boston, MA icon location I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

Results 4 repositories owned by Aleksey Kliger (λgeek)

freer-church

29
Stars
1
Forks
Watchers

Church-encoding of the Freer monad

verified publisher icon lambdageek

mono

15
Stars
3
Forks
Watchers

Mono open source ECMA CLI, C# and .NET implementation.

verified publisher icon lambdageek

monovm-embed-sample

21
Stars
3
Forks
Watchers

Example showing how to embed .NET 6 MonoVM in a native C application

verified publisher icon lambdageek

unbound-generics

55
Stars
17
Forks
Watchers

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

verified publisher icon lambdageek