Paul Cadman (@paulcadman)
github

paulcadman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    68
  • Global Rank 274,652 (Top 10 %)
  • Followers 42
  • Following 42
  • Registered over 15 years ago
  • Most used languages
    Haskell
         30.0 %
    Java
         10.0 %
    C
         10.0 %
    Coq     10.0 %
    Swift
         10.0 %
    Lean     10.0 %
    Racket
         10.0 %
    Kotlin
         10.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 12,092
  • Country Ranking
    Racket
         3
    Lean     19
    Coq     31
    Haskell
         278
    Kotlin
         1,061
    Swift
         1,457
    C
         5,143
    Java
         7,698

Top repositories

1

the-little-typer

Resources for "The Little Typer" study group
Racket
47
star
2

lean4-leetcode

Lean
7
star
3

dhall-to-jenkinsfile

Compile Dhall expressions to pipeline Jenkinsfiles
Haskell
6
star
4

certified-programming

Coq
1
star
5

raylean

Lean4 bindings for raylib
C
1
star
6

zdays18

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

arrow-fsm

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

alg

Haskell
1
star
9

aoc-2018

Advent of code 2018
Haskell
1
star
10

jira-emailnotify

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