Skip to content
You must be logged in to sponsor ollef

Become a sponsor to Olle Fredriksson

@ollef

Olle Fredriksson

ollef
Oslo, Norway

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 work

  1. ollef/sixten

    Functional programming with fewer indirections

    Haskell 761
  2. ollef/sixty

    Dependent type checker using normalisation by evaluation

    Haskell 254
  3. ollef/Earley

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

    Haskell 365
  4. ollef/rock

    Build system

    Haskell 122
  5. ollef/Bidirectional

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

    Haskell 129

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

$1 a month