Olle Fredriksson's repositories
Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
dependent-hashmap
Dependent hash maps
rope-utf16-splay
Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
environment-bench
Benchmarking compiler representations of variable environments
bevy_xpbd
2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.
concurrent-hashtable
A thread-safe hash table in Haskell
coronastatus.no
Rapporter din helsetilstand slik at vi sammen får bedre oversikt over smittespredningen
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
elm-syntax
Elm syntax in Elm
enummapset
IntMap and IntSet with Enum keys/elements.
haskellcosm
Collecting information about Haskell ecosystem - companies, communities, media, etc.
neural
A neural network that learns to solve MNIST by using backpropagation
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families