• Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Haskell
  • License
    Other
  • Created over 10 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Lift instances for common haskell data types

More Repositories

1

etc-nixos

NixOS configuration files for my computers
Nix
42
star
2

wdumper

Tool for generating filtered Wikidata RDF exports
Java
37
star
3

reflex-host

Higher level support for implementing reflex frameworks
Haskell
30
star
4

haskell-generate

Type-safe library for generating haskell source code
Haskell
28
star
5

nix-script

A shebang for running scripts inside nix-shell with defined dependencies
Haskell
26
star
6

dynamic-cabal

Dynamically load the Cabal library to use a newer version with the GHC API
Haskell
12
star
7

docs

Python
11
star
8

themplate

Create projects from simple templates
Haskell
7
star
9

reflex-qml

Haskell
4
star
10

hcltest

Haskell testing library for command line programs
Haskell
3
star
11

cscg20

Solutions for Cyber Security Challenge Germany 2020 Qualifications
Python
3
star
12

quickcheck-property-monad

A monad for building quickcheck properties
Haskell
2
star
13

dotfiles

My dotfiles
Shell
2
star
14

ghc-server

No longer maintained
Haskell
2
star
15

software-foundations

Solutions to the book "Software Foundations": http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
Coq
2
star
16

vplan

A flexible library for representing schedules in haskell
Haskell
1
star
17

typeable-th

There is no need to manually write TypeableN instances anymore!
Haskell
1
star
18

coq-mapping-database

Verified Mapping Database model in Coq based on AVL trees
Coq
1
star
19

vplan-qml

QML UI for VPlan
Haskell
1
star
20

compy-experiments

TeX
1
star
21

task-sheet-splitter

Python
1
star
22

emacs-present

Emacs Lisp
1
star
23

shake-configure

A configure step for the shake build system
Haskell
1
star
24

autoconf2nix

Haskell
1
star
25

haemu

A simple processor emulator written in haskell.
Haskell
1
star
26

hsqml-react

Declarative interface to HsQML using reactive-banana
Haskell
1
star