rpeszek Goto Github PK

crud-ex-backend-servant

Servant backend for my polyglot CRUD project

crud-ex-backend-yesod

Yesod backend for my CRUD polyglot project

crud-ex-backent-http4s

Scala https4s polymorphic CRUD backend for my polyglot project

crud-ex-frontend-elm

Elm frontend for my polyglot CRUD project

crud-ex-frontend-purescript

Purescript frontend for my polyglot CRUD project

dag-check

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

elm-double-navigate

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

eta-hackage

A set of patches to make Hackage compatible with the Eta language.

eta-hackage-build-test

This project is just to check eta-hackage packages install nicely with etlas

eta-misc-test

Various checks and tests of eta and eta-hackage mostly to report issues

experiments

fpiglet

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

gitpitch-presentations

Various presentations

graph-exercise

Solution to job interview exercise about DAG longest path

graphplay

Polymorphic graph ideas in Haskell

idris-chain

Dependently typed blockchain experiments in Idris

idristddnotes

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

idristddscalanotes

Scala version of my Haskell/Idris IdrisTddNotes project

moot

Moot is a CFP and event management system!

my-blogs

notes-milewski-ctfp-hs

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

present-higher-rank

Boulder Haskell Meetup presentation about pragmantic use of higher rank

present-proofs-lc19

Code accompanying LC2019 presentation

presentations-code

Collection of code used for presentations

rpeszek.github.io

singletons-state

Dependently typed state machines

ts-experiments

Experiments in TypeScript

ts-typecheck-peano

typed-encoding

Type safe string restrictions and transformations

typed-encoding-encoding

Bridge between `encoding` and `typed-encoding` package