Discover @rpeszek Open Source projects

Robert Peszek (@rpeszek)

rpeszek

Stars
126
Global Rank 175,502 (Top 7 %)
Followers 46
Following 8
Registered about 11 years ago
Most used languages

Haskell
43.8 %

Scala
12.5 %

Elm
12.5 %

HTML
6.3 %

TypeScript
6.3 %

Idris 6.3 %

CSS
6.3 %

Groovy
6.3 %
Location 🇺🇸 United States
Country Total Rank 38,099
Country Ranking

Idris 81

Haskell
239

Elm
262

Groovy
364

Scala
2,091

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

my-blogs

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