Pinned Repositories
fp-course
Functional Programming Course
fp-projects
A description of Functional Programming projects
java-trivia
Java trivia questions
lets-lens
Course material for lens
parametricity
A talk on parametricity
parametricity-exercises
Exercises designed specifically to demonstrate parametricity
type-class
Experimental Type-class hierarchy
validation
tonymorris's Repositories
tonymorris/fp-course
Functional Programming Course
tonymorris/java-trivia
Java trivia questions
tonymorris/parametricity
A talk on parametricity
tonymorris/validation
tonymorris/filepather
Functions on System.FilePath
tonymorris/casr-logbook
CASR Pilot logbook
tonymorris/list-folds
Slides for a talk on List fold-left and fold-right
tonymorris/utility-tm
Utility functions that are missing from the standard library
tonymorris/gpx
GPX files
tonymorris/metar-http
HTTP for METAR
tonymorris/language-scala
Parser for Scala.
tonymorris/chess-games
PGN of games
tonymorris/cubix
The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"
tonymorris/daml
The Daml smart contract language
tonymorris/descriptive-keys
tonymorris/GAM
command line management for Google Workspace
tonymorris/hpython
Haskell language tools for Python
tonymorris/hs-jose
Haskell JOSE and JWT library
tonymorris/icicle
Icicle Streaming Query Language
tonymorris/ivory
tonymorris/kafka-connect-oracle-cdc
Demonstration Oracle CDC Source Connector with Kafka Connect
tonymorris/pacapt
An ArchLinux's pacman-like shell wrapper for many package managers. 56KB and run anywhere.
tonymorris/rays
tonymorris/scala-hedgehog
Release with confidence, state-of-the-art property testing for Scala.
tonymorris/sv
Comma (and other) separated values
tonymorris/tagsoup
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents
tonymorris/zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
tonymorris/zio-flow
Resilient, distributed applications powered by ZIO
tonymorris/zio-schema
Compositional, type-safe schema definitions, which enable auto-derivation of codecs and migrations.
tonymorris/zio-webhooks
A microlibrary for reliable and persistent webhook delivery