An open API service aggregating public data about GitHub Sponsors.

ollef

View JSON Representation

Funding Links: https://github.com/sponsors/ollef

GitHub Sponsors Profile

I work on compilers, type checkers, and related tooling and libraries.
Some of my projects are:

Sixten, a dependently typed functional language with support for unboxed data.
Sixty, a new high-performance compiler frontend for Sixten, including type checker and language server.
Rock, a build system library that can be used to construct query-based and incremental compilers and tools.

Featured Works

ollef/sixten

Functional programming with fewer indirections

Language: Haskell - Stars: 761
ollef/sixty

Dependent type checker using normalisation by evaluation

Language: Haskell - Stars: 257
ollef/Earley

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

Language: Haskell - Stars: 370
ollef/rock

Build system

Language: Haskell - Stars: 123
ollef/Bidirectional

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

Language: Haskell - Stars: 131