• Stars
    star
    64
  • Rank 479,282 (Top 10 %)
  • Language
    Haskell
  • License
    Other
  • Created almost 6 years ago
  • Updated about 5 years ago

Reviews

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

Repository Details

Course for learning how to apply property-based state-machine testing

More Repositories

1

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!
Haskell
624
star
2

hpython

Haskell language tools for Python
Python
157
star
3

sv

Comma (and other) separated values
Haskell
77
star
4

tasty-hedgehog

Tasty integration for the Hedgehog property testing library
Haskell
38
star
5

propagator-examples

Haskell
35
star
6

reflex-realworld-example

Haskell
33
star
7

reflex-tutorial

Haskell
29
star
8

papa

Reasonable Haskell default import
Haskell
26
star
9

reflex-dom-svg

Helper package for working with SVG in Reflex
Haskell
21
star
10

parley

Beginner friendly demo of a blog comments app
Haskell
20
star
11

reflex-workshop

Haskell
20
star
12

hedgehog-fn

Function generation for Hedgehog
Haskell
18
star
13

coordinate

A representation of latitude and longitude
Haskell
15
star
14

dollaridoos

A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
Haskell
14
star
15

reflex-realworld-workshop

A guided workshop through implementing the realworld demo app in obelisk.
JavaScript
14
star
16

reflex-brick

Build terminal UIs using reflex and brick
Haskell
14
star
17

reflex-dom-canvas

HTML5 Canvas Integration for Reflex Dom
Haskell
13
star
18

tasty-wai

Haskell
13
star
19

reflex-basic-host

A basic reflex host for backend work
Haskell
13
star
20

ban-instance

Declare that a typeclass instance should not exist.
Haskell
12
star
21

sample-nix-data-pipeline

Nix
10
star
22

reflex-dom-storage

Haskell
10
star
23

reflex-dom-datepicker

A Date Picker UI widget for Reflex
Haskell
9
star
24

reflex-backend-socket

Reflex support for socket-based applications
Haskell
8
star
25

leaderboard

A leaderboard webapp
Haskell
7
star
26

reflex-backend-servant

Haskell
7
star
27

initial-final

HTML
6
star
28

tasty-hedgehog-coverage

Haskell
6
star
29

diffygif

Haskell
5
star
30

contravariant-functors-ylj-2018

YOW Lambda Jam 2018 - Contravariant Functors: The Other Side of the Coin
TeX
5
star
31

reflex-backend-websocket

Haskell
5
star
32

lens-dependent-map

Haskell
4
star
33

check

Generalised data validation
Haskell
4
star
34

consy

Replacing `Data.List` with `Control.Lens.Cons`
Haskell
4
star
35

propagators-bfpg

Propagator talk by George Wilson (2017-11-14)
TeX
4
star
36

church-maybe

Church encoded Maybe
Haskell
4
star
37

reflex-log

Haskell
4
star
38

reflex-backend-wai

Reflex support for WAI applications
Haskell
4
star
39

reflex-dom-template

Haskell
4
star
40

reflex-gl-demo

Demonstration program wiring together Reflex and OpenGL. Presented at Compose Melbourne on 2019-09-02.
Haskell
4
star
41

elm-workshop

Workshop for getting into Elm
Elm
4
star
42

reflex-dom-validation

Haskell
3
star
43

invariant-extras

Some extra functionality for invariant functors
Haskell
3
star
44

tagsoup-navigation

Lenses and Zipper for tagsoup
Haskell
3
star
45

parsers-megaparsec

`parsers` instances for Megaparsec
Haskell
3
star
46

intro-to-reflex-compose

Haskell
3
star
47

sys-process

A replacement for System.Exit and System.Process
Haskell
3
star
48

semialign-extras

Additional operations built atop the `semialign` universe.
Haskell
3
star
49

waterflow-problem

Twitter waterflow problem
Haskell
3
star
50

intuition-for-propagators-slides

slides for George Wilson's Melbourne :: Compose 2019 talk
TeX
3
star
51

repa-runtime

Haskell
3
star
52

reflex-dom-ausgov-uikit

Haskell
2
star
53

casa-abbreviations-and-acronyms

CASA Abbreviations and Acronyms
Haskell
2
star
54

e6b

E6B Flight Computer functions
Haskell
2
star
55

blog

QFPL blog
JavaScript
2
star
56

fp-in-ruby

FP in Ruby talk materials
Ruby
2
star
57

dissidence

HTML
2
star
58

aviation-weight-balance

Weight and Balance in aviation
Haskell
2
star
59

contravariant-operators

Haskell
2
star
60

applied-fp-course-answers

Haskell
2
star
61

waargonaut-succinct-ds

Succinct Data Structure support for the Waargonaut package.
Haskell
2
star
62

variant1

Polymorphic variant for unary type constructors
Haskell
1
star
63

state-machine-testing

@ajmccluskey's state machine testing talk at YLJ 2018
Nix
1
star
64

fixplate-lens-example

An example of using classy prisms & variants with `fixplate`
Haskell
1
star
65

reflex-binary

Haskell
1
star
66

reflex-course

Haskell
1
star
67

intro-to-reflex-bfpg

A reflex talk given at BFPG
Haskell
1
star
68

growing-a-datepicker

Associated posts and code for the blog series 'Growing a Date Picker in Reflex'
Haskell
1
star
69

record1

Extensible record for unary type constructors
Haskell
1
star
70

tt

Table Tennis ladder
Nix
1
star
71

hedgehog-laws

hedgehog properties to test typeclass laws
Haskell
1
star
72

reindent

(extremely experimental) command line tool to change and make consistent the indentation of python code
Haskell
1
star
73

pandoc-dsl

For building pandoc documents
Nix
1
star
74

dotagrams

Library for drawing propagator diagrams with graphviz
Haskell
1
star
75

variantT

Polymorphic variant for functor transformers
Haskell
1
star
76

bool-expr

An investigation into the effectiveness of correct-by-construction syntax trees
Haskell
1
star
77

geodetic-types

Geodetic types
Haskell
1
star
78

ghc-extensions-talk

@ajmcmiddlin's YLJ 2019 talk on GHC language extensions
CSS
1
star
79

cargo-culting-lenses-ffp

A fast paced intro to using the haskell ``lens`` package
HTML
1
star
80

svfactor

Haskell
1
star
81

gh-stats

GitHub statistics for an organisation's repos.
Haskell
1
star
82

or

Maybe (Either a b) ^ Either (Either a b) ((,) a b) ^ Maybe (Either (Either a b) ((,) a b))
Haskell
1
star
83

plated1

Uniplate-style traversals for nested (non-regular) datatypes
Haskell
1
star
84

typeclass-the-ultimate-ad-hoc

TeX
1
star
85

intro-to-reflex-brisjs

A reflex talk given at BrisJS
Haskell
1
star