rpeszek/dag-check rpeszek/dag-check

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rpeszek/dag-check
github

rpeszek

Reviews

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

Repository Details

Conceptual code for property testing of DAG graphs used for my work

More Repositories

1

IdrisTddNotes

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Haskell
47
star
2

notes-milewski-ctfp-hs

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Haskell
32
star
3

fpiglet

FUNctional Programming in Groovy. Adds to Groovy: Implicitly Curried Functions, Monads, Applicative, Functors and more ... This project was moved from:
Groovy
14
star
4

typed-encoding

Type safe string restrictions and transformations
Haskell
6
star
5

rpeszek.github.io

HTML
5
star
6

ts-experiments

Experiments in TypeScript
TypeScript
4
star
7

crud-ex-frontend-elm

Elm frontend for my polyglot CRUD project
Elm
3
star
8

typesafe-web-polyglot

Examples, templates of typesafe, functional web apps
3
star
9

my-blogs

CSS
2
star
10

experiments

Haskell
2
star
11

IdrisTddScalaNotes

Scala version of my Haskell/Idris IdrisTddNotes project
Scala
2
star
12

eta-misc-test

Various checks and tests of eta and eta-hackage mostly to report issues
Haskell
1
star
13

crud-ex-backent-http4s

Scala https4s polymorphic CRUD backend for my polyglot project
Scala
1
star
14

idris-chain

Dependently typed blockchain experiments in Idris
Idris
1
star
15

typed-encoding-encoding

Bridge between `encoding` and `typed-encoding` package
Haskell
1
star
16

elm-double-navigate

Demonstrates Issue in Elm where onClick navigation triggers twice if button is inside a form
Elm
1
star