Jonathan Lorimer

core-warn. Provide warnings for unexpected Core generation

conceptual-mathematics. Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

htmx. Haskell

book-of-monads. Exercises from the 'Book of Monads' by Alejandro Serrano Mena

weft. GraphQL Schema generation in Haskell

nix-config. My home manager config

haskwire. HTML Over The Wire, bringing SSR to Haskell

templates. Nix

tdd-with-idris2. Working through Type Driven Development with Idris, using Idris2

jonathanlorimer.github.io. Haskell

codata. Haskell

Optics-By-Example. Exercises for Chris Penner's Optics By Example

cfg. Simple Haskell configuration library

haskell_book. Haskell Book Course put on by FP Complete and Chris Allen

fp-in-typescript. TypeScript

the-little-typer. Nix

numis. A domain specific language for financial relations

hs-connection. simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

FunctionalProgrammingThroughLambdaCalculus. Exercises for Functional Programming Through Lambda Calculus - Greg Michaelson

fp-talks. A bunch of the presentations I have done with the Toronto Haskell Meetup

seat-sorter. Take home challenge

adventure-time. Haskell

mf-hask. Implementation of Multiformats library in Haskell

aws-lambda-haskell-error. A repo reproducing an error I encountered in the haskell runtime for aws lambda, particularly trying to locate the libpcre.so.3

OPLSS22. Notes and exercises fro OPLSS22

sparkplug. Dhall

bridge-testing-tutorial. JavaScript

thinking-with-types. Types types types

bed-n-blockchain. Airbnb clone on the block chain

advent-of-code-2019. Haskell

haskell-exercism. Haskell Practice

vue-deep-dive. Vue Deep Dive workshop

Thinking-With-Types-II. Haskell