• Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 6 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

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

More Repositories

1

sixten

Functional programming with fewer indirections
Haskell
757
star
2

Earley

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

sixty

Dependent type checker using normalisation by evaluation
Haskell
253
star
4

Bidirectional

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

rock

Build system
Haskell
114
star
6

braces-be-gone

Get those pesky braces out of your face
Haskell
49
star
7

Generate-C

Embedded C code generation DSL for Haskell.
Haskell
27
star
8

dependent-hashmap

Dependent hash maps
Haskell
14
star
9

rope-utf16-splay

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

parsix

Adventures in parser combinators
Haskell
10
star
11

region

Adventures in region inference
Haskell
8
star
12

mirrored-keyboard-layouts

Mirrored XKB layouts for one-handed typing
8
star
13

Grempa

Embedded grammar DSL and LALR parser generator
Haskell
8
star
14

navm-hs

Not a virtual machine
Haskell
6
star
15

navm

Not A Virtual Machine
Rust
6
star
16

environment-bench

Benchmarking compiler representations of variable environments
Haskell
5
star
17

incrementalism

Haskell
4
star
18

Fuse.JSON

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

oslo-haskell

Exercises
Haskell
4
star
20

packrat

Adventures in packrat parsing
Haskell
3
star
21

rope-utf16

Haskell
3
star
22

ibuild

Indexed build systems a la carte
Haskell
2
star
23

FunSharp

Learning F#, nothing to see here
F#
2
star
24

vim-svorsk

Vim for Swedes in Norway
Vim Script
2
star
25

paws

Utility for automatically pausing and resuming music at appropriate times.
C
2
star
26

fenwick

Self-balancing Fenwick trees with logarithmic time monoidal prefix sums
Haskell
2
star
27

by-value

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

llvm-irbuilder

IRBuilder for LLVM Haskell Bindings ( Experimental )
Haskell
1
star
29

system-rea

Dad made me do it
Haskell
1
star
30

ollef.github.io

HTML
1
star
31

postgres-woobat

Haskell
1
star
32

rope-bench

Haskell
1
star
33

satire

Satisfaction
Rust
1
star