• Stars
    star
    2
  • Language
    TypeScript
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

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

Optics-By-Example

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

haskell_book

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

Thinking-With-Types-II

Haskell
1
star
15

thinking-with-types

Types types types
Haskell
1
star
16

adventure-time

Haskell
1
star
17

sparkplug

Dhall
1
star
18

advent-of-code-2019

Haskell
1
star
19

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
20

mf-hask

Implementation of Multiformats library in Haskell
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