ollef/dependent-hashmap

Stars
14
Rank 1,438,076 (Top 29 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 4 years ago
Updated over 4 years ago

ollef/dependent-hashmap

ollef

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Dependent hash maps

sixten

Functional programming with fewer indirections

Earley

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

sixty

Dependent type checker using normalisation by evaluation

Bidirectional

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

rock

braces-be-gone

Get those pesky braces out of your face

Generate-C

Embedded C code generation DSL for Haskell.

rope-utf16-splay

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

parsix

Adventures in parser combinators

region

Adventures in region inference

mirrored-keyboard-layouts

Mirrored XKB layouts for one-handed typing

Grempa

Embedded grammar DSL and LALR parser generator

navm-hs

Not a virtual machine

navm

Not A Virtual Machine

environment-bench

Benchmarking compiler representations of variable environments

incrementalism

Fuse.JSON

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

oslo-haskell

packrat

Adventures in packrat parsing

rope-utf16

ibuild

Indexed build systems a la carte

FunSharp

Learning F#, nothing to see here

vim-svorsk

Vim for Swedes in Norway

paws

Utility for automatically pausing and resuming music at appropriate times.

fenwick

Self-balancing Fenwick trees with logarithmic time monoidal prefix sums

by-value

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

llvm-irbuilder

IRBuilder for LLVM Haskell Bindings ( Experimental )

system-rea

Dad made me do it

deriving-gcompare

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

ollef.github.io

postgres-woobat

rope-bench

satire