JonathanLorimer/mf-hask JonathanLorimer/mf-hask

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JonathanLorimer/mf-hask
github

JonathanLorimer

Reviews

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

Repository Details

Implementation of Multiformats library in Haskell

More Repositories

1

core-warn

Provide warnings for unexpected Core generation
Haskell
29
star
2

conceptual-mathematics

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
Agda
21
star
3

weft

GraphQL Schema generation in Haskell
Haskell
17
star
4

book-of-monads

Exercises from the 'Book of Monads' by Alejandro Serrano Mena
Haskell
17
star
5

nix-config

My home manager config
Nix
11
star
6

haskwire

HTML Over The Wire, bringing SSR to Haskell
Nix
6
star
7

templates

Rust
4
star
8

codata

Haskell
3
star
9

cfg

Simple Haskell configuration library
Haskell
3
star
10

tdd-with-idris2

Working through Type Driven Development with Idris, using Idris2
Idris
3
star
11

jonathanlorimer.github.io

Haskell
2
star
12

fp-in-typescript

TypeScript
2
star
13

Optics-By-Example

Exercises for Chris Penner's Optics By Example
Haskell
2
star
14

haskell_book

Haskell Book Course put on by FP Complete and Chris Allen
Haskell
2
star
15

Thinking-With-Types-II

Haskell
1
star
16

thinking-with-types

Types types types
Haskell
1
star
17

adventure-time

Haskell
1
star
18

sparkplug

Dhall
1
star
19

advent-of-code-2019

Haskell
1
star
20

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
Haskell
1
star
21

the-little-typer

Nix
1
star
22

bed-n-blockchain

Airbnb clone on the block chain
JavaScript
1
star
23

OPLSS22

Notes and exercises fro OPLSS22
Agda
1
star
24

bridge-testing-tutorial

JavaScript
1
star
25

vue-deep-dive

Vue Deep Dive workshop
HTML
1
star
26

seat-sorter

Take home challenge
Haskell
1
star
27

haskell-exercism

Haskell Practice
Haskell
1
star
28

FunctionalProgrammingThroughLambdaCalculus

Exercises for Functional Programming Through Lambda Calculus - Greg Michaelson
Haskell
1
star