Pinned Repositories
crud-ex-frontend-elm
Elm frontend for my polyglot CRUD project
experiments
fpiglet
FUNctional Programming in Groovy. Adds to Groovy: Implicitly Curried Functions, Monads, Applicative, Functors and more ... This project was moved from:
IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
IdrisTddScalaNotes
Scala version of my Haskell/Idris IdrisTddNotes project
notes-milewski-ctfp-hs
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
rpeszek.github.io
ts-experiments
Experiments in TypeScript
typed-encoding
Type safe string restrictions and transformations
typesafe-web-polyglot
Examples, templates of typesafe, functional web apps
rpeszek's Repositories
rpeszek/IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
rpeszek/notes-milewski-ctfp-hs
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
rpeszek/typed-encoding
Type safe string restrictions and transformations
rpeszek/rpeszek.github.io
rpeszek/ts-experiments
Experiments in TypeScript
rpeszek/crud-ex-frontend-elm
Elm frontend for my polyglot CRUD project
rpeszek/typesafe-web-polyglot
Examples, templates of typesafe, functional web apps
rpeszek/experiments
rpeszek/IdrisTddScalaNotes
Scala version of my Haskell/Idris IdrisTddNotes project
rpeszek/my-blogs
rpeszek/crud-ex-backent-http4s
Scala https4s polymorphic CRUD backend for my polyglot project
rpeszek/dag-check
Conceptual code for property testing of DAG graphs used for my work
rpeszek/elm-double-navigate
Demonstrates Issue in Elm where onClick navigation triggers twice if button is inside a form
rpeszek/eta-misc-test
Various checks and tests of eta and eta-hackage mostly to report issues
rpeszek/idris-chain
Dependently typed blockchain experiments in Idris
rpeszek/typed-encoding-encoding
Bridge between `encoding` and `typed-encoding` package
rpeszek/crud-ex-backend-servant
Servant backend for my polyglot CRUD project
rpeszek/crud-ex-frontend-purescript
Purescript frontend for my polyglot CRUD project
rpeszek/eta-hackage
A set of patches to make Hackage compatible with the Eta language.
rpeszek/eta-hackage-build-test
This project is just to check eta-hackage packages install nicely with etlas
rpeszek/gitpitch-presentations
Various presentations
rpeszek/graph-exercise
Solution to job interview exercise about DAG longest path
rpeszek/GraphPlay
Polymorphic graph ideas in Haskell
rpeszek/moot
Moot is a CFP and event management system!
rpeszek/present-higher-rank
Boulder Haskell Meetup presentation about pragmantic use of higher rank
rpeszek/present-proofs-lc19
Code accompanying LC2019 presentation
rpeszek/presentations-code
Collection of code used for presentations
rpeszek/singletons-state
Dependently typed state machines
rpeszek/ts-typecheck-peano
rpeszek/typescript-issues
Examples of TypeScript compiler issues