rpeszek/my-blogs

Stars
2
Language
CSS
Created almost 4 years ago
Updated 6 months ago

rpeszek/my-blogs

rpeszek

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

IdrisTddNotes

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

notes-milewski-ctfp-hs

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

fpiglet

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

typed-encoding

Type safe string restrictions and transformations

rpeszek.github.io

ts-experiments

Experiments in TypeScript

crud-ex-frontend-elm

Elm frontend for my polyglot CRUD project

typesafe-web-polyglot

Examples, templates of typesafe, functional web apps

experiments

IdrisTddScalaNotes

Scala version of my Haskell/Idris IdrisTddNotes project

eta-misc-test

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

crud-ex-backent-http4s

Scala https4s polymorphic CRUD backend for my polyglot project

idris-chain

Dependently typed blockchain experiments in Idris

typed-encoding-encoding

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

elm-double-navigate

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

dag-check

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