rpeszek/experiments rpeszek/experiments

  • Stars
    star
    2
  • Language
    Haskell
  • Created almost 5 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rpeszek/experiments
github

rpeszek

Reviews

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

Repository Details

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

IdrisTddScalaNotes

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

eta-misc-test

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

crud-ex-backent-http4s

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

idris-chain

Dependently typed blockchain experiments in Idris
Idris
1
star
14

typed-encoding-encoding

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

elm-double-navigate

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

dag-check

Conceptual code for property testing of DAG graphs used for my work
Haskell
1
star