This is your work, valued

Oslo, Norway

Olle Fredriksson

Expert
@ollef
ollef.github.io/blog/

system-f-omega-agda. A formalization of System Fω in Agda

20

Grempa. Embedded grammar DSL and LALR parser generator

8

oslo-haskell. Exercises

4

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

4

rope-utf16. Haskell

3

packrat. Adventures in packrat parsing

3

FunSharp. Learning F#, nothing to see here

2

ibuild. Indexed build systems a la carte

2

xcape. Linux utility to make control key send escape key events when pressed on its own.

2

ios-cmake. A toolchain file and examples using cmake for iOS development (this is a fork of a similar project found on code.google.com)

2

fenwick. Self-balancing Fenwick trees with logarithmic time monoidal prefix sums

2

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

2

vim-svorsk. Vim for Swedes in Norway

2

xeno. Fast Haskell XML parser, fork with UTF-8 name support

2

paws. Utility for automatically pausing and resuming music at appropriate times.

2

ollef.github.io. HTML

1

system-rea. Dad made me do it

1

rust-nbe-bench. Rust

1

postgres-woobat. Haskell

1

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

1

rope-bench. Haskell

1

satire. Satisfaction

1

llvm-irbuilder. IRBuilder for LLVM Haskell Bindings ( Experimental )

1