Pinned Repositories
haskell-to-elm
Generate Elm types, encoders, and decoders from Haskell types
Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
braces-be-gone
Get those pesky braces out of your face
dependent-hashmap
Dependent hash maps
Earley
Parsing all context-free grammars using Earley's algorithm in Haskell.
Generate-C
Embedded C code generation DSL for Haskell.
rock
Build system
rope-utf16-splay
Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
sixten
Functional programming with fewer indirections
sixty
Dependent type checker using normalisation by evaluation
ollef's Repositories
ollef/sixten
Functional programming with fewer indirections
ollef/Earley
Parsing all context-free grammars using Earley's algorithm in Haskell.
ollef/sixty
Dependent type checker using normalisation by evaluation
ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
ollef/rock
Build system
ollef/dependent-hashmap
Dependent hash maps
ollef/rope-utf16-splay
Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
ollef/parsix
Adventures in parser combinators
ollef/navm
Not A Virtual Machine
ollef/navm-hs
Not a virtual machine
ollef/environment-bench
Benchmarking compiler representations of variable environments
ollef/ollef.github.io
ollef/postgres-woobat
ollef/rope-bench
ollef/rust-nbe-bench
ollef/satire
Satisfaction
ollef/bevy_xpbd
2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.
ollef/concurrent-hashtable
A thread-safe hash table in Haskell
ollef/coronastatus.no
Rapporter din helsetilstand slik at vi sammen får bedre oversikt over smittespredningen
ollef/dactyl-manuform-mini-keyboard
ollef/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
ollef/elm-compositional-ui
ollef/elm-syntax
Elm syntax in Elm
ollef/enummapset
IntMap and IntSet with Enum keys/elements.
ollef/fourmolu
A fourk of ormolu that uses four space indentation.
ollef/hardcaml
Hardcaml is an OCaml library for designing hardware.
ollef/haskellcosm
Collecting information about Haskell ecosystem - companies, communities, media, etc.
ollef/neural
A neural network that learns to solve MNIST by using backpropagation
ollef/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
ollef/text-rope
A wrapper around Text for fast line/column navigation and logarithmic concatenation