Discover @JonathanLorimer Open Source projects

Jonathan Lorimer (@JonathanLorimer)

JonathanLorimer

Stars
135
Global Rank 166,572 (Top 6 %)
Followers 73
Following 145
Registered about 7 years ago
Most used languages

Haskell
58.6 %

Nix
10.3 %

JavaScript
6.9 %

Agda 6.9 %

Idris 3.4 %

Dhall 3.4 %

TypeScript
3.4 %

HTML
3.4 %

Rust
3.4 %
Location 🇨🇦 Canada
Country Total Rank 4,519
Country Ranking

Dhall 6

Agda 7

Idris 10

Haskell
24

Nix
29

Rust
764

TypeScript
3,991

HTML
8,938

core-warn

Provide warnings for unexpected Core generation

conceptual-mathematics

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

weft

GraphQL Schema generation in Haskell

book-of-monads

Exercises from the 'Book of Monads' by Alejandro Serrano Mena

nix-config

My home manager config

haskwire

HTML Over The Wire, bringing SSR to Haskell

templates

codata

cfg

Simple Haskell configuration library

tdd-with-idris2

Working through Type Driven Development with Idris, using Idris2

jonathanlorimer.github.io

fp-in-typescript

Optics-By-Example

Exercises for Chris Penner's Optics By Example

haskell_book

Haskell Book Course put on by FP Complete and Chris Allen

Thinking-With-Types-II

thinking-with-types

Types types types

adventure-time

sparkplug

advent-of-code-2019

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

mf-hask

Implementation of Multiformats library in Haskell

the-little-typer

bed-n-blockchain

Airbnb clone on the block chain

OPLSS22

Notes and exercises fro OPLSS22

bridge-testing-tutorial

vue-deep-dive

Vue Deep Dive workshop

seat-sorter

Take home challenge

haskell-exercism

Haskell Practice

FunctionalProgrammingThroughLambdaCalculus

Exercises for Functional Programming Through Lambda Calculus - Greg Michaelson