ollef
Funding Links: https://github.com/sponsors/ollef
- Name: Olle Fredriksson
- Location: Oslo, Norway
- Company: Ascenium
- Kind: user
- Followers: 319
- Following: 142
- Total stars: 1853
- Repositories count: 76
- Created at: 2022-11-03T08:30:56.524Z
- Updated at: 2025-03-09T14:51:12.669Z
- Last synced at: 2025-03-09T14:51:12.669Z
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.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
ollef/sixten
Functional programming with fewer indirections
Language: Haskell - Stars: 761ollef/sixty
Dependent type checker using normalisation by evaluation
Language: Haskell - Stars: 257ollef/Earley
Parsing all context-free grammars using Earley's algorithm in Haskell.
Language: Haskell - Stars: 370ollef/rock
Build system
Language: Haskell - Stars: 123ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Language: Haskell - Stars: 131