MaximilianAlgehed/TypeclassTesting MaximilianAlgehed/TypeclassTesting

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MaximilianAlgehed/TypeclassTesting
github

MaximilianAlgehed

Reviews

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

Repository Details

Testing typeclasses on the form (C a) => (B (f a))

More Repositories

1

VisPar

S. Marlow's Par monad with dataflow graph output
Haskell
13
star
2

SessionCheck

Haskell
4
star
3

LCFStyleTheoremProver

LCF Style theorem prover implementation
Haskell
3
star
4

SpecCheck

Haskell
3
star
5

DCC

DCC embedded in Haskell
Haskell
3
star
6

Boids

Playing with boids
Haskell
2
star
7

MPIForFeldspar

MPI + Feldspar
Haskell
1
star
8

HaskellAlgebraicTopology

Haskell
1
star
9

HaskellNN

Playing around with NNs in Haskell for learning...
Haskell
1
star
10

TypingMachineLearning

Haskell
1
star
11

LambdaDays

Lambda days QuickSpec demo
Haskell
1
star
12

SafeMerge

Haskell
1
star
13

Multef

Multi-Execution Framework
Coq
1
star
14

QuickSpecConditionals

An implementation of conditional equations in QuickSpec
Haskell
1
star
15

SpecDSL

Haskell
1
star
16

DAT235Projekt

Haskell
1
star
17

Haspec

An API specification language embedded in haskell
Haskell
1
star
18

DynamicIFCTheoremsForFree

Using parametricity to prove noninterference for LIO and Faceted Values
Agda
1
star
19

HTTS

What may one day turn into the Haskell Text Templating System
Haskell
1
star