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/Generate-C
Embedded C code generation DSL for Haskell.
ollef/region
Adventures in region inference
ollef/incrementalism
ollef/packrat
Adventures in packrat parsing
ollef/rope-utf16
ollef/fenwick
Self-balancing Fenwick trees with logarithmic time monoidal prefix sums
ollef/FunSharp
Learning F#, nothing to see here
ollef/ibuild
Indexed build systems a la carte
ollef/vim-svorsk
Vim for Swedes in Norway
ollef/xeno
Fast Haskell XML parser, fork with UTF-8 name support
ollef/deriving-gcompare
Derive instances for GEq and GCompare from the dependent-sum package
ollef/llvm-irbuilder
IRBuilder for LLVM Haskell Bindings ( Experimental )
ollef/system-rea
Dad made me do it
ollef/ddl
(Alpha stage software) A declarative data definition language for formally specifying binary data formats.
ollef/elm-ui
What if you never had to write CSS again?
ollef/elm-vim
Elm plugin for Vim
ollef/fuselibs-public
ollef/ghcide
A library for building Haskell IDE tooling
ollef/haskell-companies
A gently curated list of companies using Haskell in industry
ollef/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ollef/haskell-lsp
Haskell library for the Microsoft Language Server Protocol
ollef/jsverify
Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.
ollef/llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
ollef/measured-splay-tree.rs
messing around
ollef/morpheus-graphql
Haskell GraphQL Api, Client and Tools
ollef/proptest
Property-based testing a'la QuickCheck for TypeScript and JavaScript
ollef/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
ollef/setup-stack
Github action for setting up haskell stack
ollef/tridactyl
Implementing Vimperator/Pentadactyl as a WebExtension.
ollef/vim-vixen
Vim vixen