Olle Fredriksson

icon indicating a website link https://ollef.github.io/blog/ icon indicating an email [email protected]

icon company Ascenium icon location Oslo, Norway

Results 8 repositories owned by Olle Fredriksson

Bidirectional

126
Stars
11
Forks
Watchers

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

verified publisher icon ollef

braces-be-gone

49
Stars
0
Forks
Watchers

Get those pesky braces out of your face

verified publisher icon ollef

Earley

359
Stars
24
Forks
Watchers

Parsing all context-free grammars using Earley's algorithm in Haskell.

verified publisher icon ollef

Generate-C

27
Stars
4
Forks
Watchers

Embedded C code generation DSL for Haskell.

verified publisher icon ollef

dependent-hashmap

15
Stars
0
Forks
Watchers

Dependent hash maps

verified publisher icon ollef

rock

111
Stars
5
Forks
Watchers

Build system

verified publisher icon ollef

sixten

746
Stars
26
Forks
Watchers

Functional programming with fewer indirections

verified publisher icon ollef

sixty

225
Stars
7
Forks
Watchers

Dependent type checker using normalisation by evaluation

verified publisher icon ollef