Olle Fredriksson (@ollef)
  • Stars
    star
    1,739
  • Global Rank 17,775 (Top 0.7 %)
  • Followers 295
  • Following 141
  • Registered almost 15 years ago
  • Most used languages
    Haskell
    75.8 %
    Rust
    6.1 %
    C++
    3.0 %
    F#
    3.0 %
    Uno
    3.0 %
    HTML
    3.0 %
    Vim Script
    3.0 %
    C
    3.0 %
  • Location ๐Ÿ‡ณ๐Ÿ‡ด Norway
  • Country Total Rank 89
  • Country Ranking
    Uno
    5
    F#
    36
    Rust
    129
    C
    493
    HTML
    696
    C++
    816

Top repositories

1

sixten

Functional programming with fewer indirections
Haskell
757
star
2

Earley

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

sixty

Dependent type checker using normalisation by evaluation
Haskell
253
star
4

Bidirectional

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

rock

Build system
Haskell
114
star
6

braces-be-gone

Get those pesky braces out of your face
Haskell
49
star
7

Generate-C

Embedded C code generation DSL for Haskell.
Haskell
27
star
8

dependent-hashmap

Dependent hash maps
Haskell
14
star
9

rope-utf16-splay

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

parsix

Adventures in parser combinators
Haskell
10
star
11

region

Adventures in region inference
Haskell
8
star
12

mirrored-keyboard-layouts

Mirrored XKB layouts for one-handed typing
8
star
13

Grempa

Embedded grammar DSL and LALR parser generator
Haskell
8
star
14

navm-hs

Not a virtual machine
Haskell
6
star
15

navm

Not A Virtual Machine
Rust
6
star
16

environment-bench

Benchmarking compiler representations of variable environments
Haskell
5
star
17

incrementalism

Haskell
4
star
18

Fuse.JSON

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

oslo-haskell

Exercises
Haskell
4
star
20

packrat

Adventures in packrat parsing
Haskell
3
star
21

rope-utf16

Haskell
3
star
22

ibuild

Indexed build systems a la carte
Haskell
2
star
23

FunSharp

Learning F#, nothing to see here
F#
2
star
24

vim-svorsk

Vim for Swedes in Norway
Vim Script
2
star
25

paws

Utility for automatically pausing and resuming music at appropriate times.
C
2
star
26

fenwick

Self-balancing Fenwick trees with logarithmic time monoidal prefix sums
Haskell
2
star
27

by-value

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

llvm-irbuilder

IRBuilder for LLVM Haskell Bindings ( Experimental )
Haskell
1
star
29

system-rea

Dad made me do it
Haskell
1
star
30

deriving-gcompare

Derive instances for GEq and GCompare from the dependent-sum package
Haskell
1
star
31

ollef.github.io

HTML
1
star
32

postgres-woobat

Haskell
1
star
33

rope-bench

Haskell
1
star
34

satire

Satisfaction
Rust
1
star