paulcadman/the-little-typer paulcadman/the-little-typer

  • Stars
    star
    47
  • Rank 604,252 (Top 12 %)
  • Language
    Racket
  • Created about 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
paulcadman/the-little-typer
github

paulcadman

Reviews

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

Repository Details

Resources for "The Little Typer" study group

More Repositories

1

lean4-leetcode

Lean
7
star
2

dhall-to-jenkinsfile

Compile Dhall expressions to pipeline Jenkinsfiles
Haskell
6
star
3

certified-programming

Coq
1
star
4

raylean

Lean4 bindings for raylib
C
1
star
5

zdays18

Resources for my session at Zuhlke days 2018
Swift
1
star
6

arrow-fsm

Playing with the arrow library with a simple FSM
Kotlin
1
star
7

alg

Haskell
1
star
8

aoc-2018

Advent of code 2018
Haskell
1
star
9

jira-emailnotify

A JIRA plugin to send notification emails upon JIRA events.
Java
1
star