Discover @ollef Open Source projects

Olle Fredriksson (@ollef)

ollef

Stars
1,739
Global Rank 17,092 (Top 0.7 %)
Followers 295
Following 141
Registered about 14 years ago
Most used languages

Haskell
75.8 %

Rust
6.1 %

Uno 3.0 %

C++
3.0 %

Vim Script
3.0 %

C
3.0 %

F#
3.0 %

HTML
3.0 %
Location 🇳🇴 Norway
Country Total Rank 89
Country Ranking

Haskell
1

Uno 5

F#
37

Vim Script
71

Rust
120

C
483

C++
796

HTML
979

sixten

Functional programming with fewer indirections

Earley

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

sixty

Dependent type checker using normalisation by evaluation

Bidirectional

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

rock

braces-be-gone

Get those pesky braces out of your face

Generate-C

Embedded C code generation DSL for Haskell.

dependent-hashmap

Dependent hash maps

rope-utf16-splay

Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs

parsix

Adventures in parser combinators

mirrored-keyboard-layouts

Mirrored XKB layouts for one-handed typing

region

Adventures in region inference

Grempa

Embedded grammar DSL and LALR parser generator

navm-hs

Not a virtual machine

navm

Not A Virtual Machine

environment-bench

Benchmarking compiler representations of variable environments

incrementalism

Fuse.JSON

Convert various things (JavaScript values, Objective-C objects) to and from JSON in Uno

oslo-haskell

packrat

Adventures in packrat parsing

rope-utf16

ibuild

Indexed build systems a la carte

FunSharp

Learning F#, nothing to see here

vim-svorsk

Vim for Swedes in Norway

paws

Utility for automatically pausing and resuming music at appropriate times.

fenwick

Self-balancing Fenwick trees with logarithmic time monoidal prefix sums

by-value

Polymorphism without pointer indirections in C++, allowing you to store and pass subclass objects by value

llvm-irbuilder

IRBuilder for LLVM Haskell Bindings ( Experimental )

system-rea

Dad made me do it

deriving-gcompare

Derive instances for GEq and GCompare from the dependent-sum package

ollef.github.io

postgres-woobat

rope-bench

satire