Andrew Kent (@pnwamk)
github

pnwamk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    134
  • Global Rank 167,484 (Top 6 %)
  • Followers 89
  • Following 11
  • Registered almost 12 years ago
  • Most used languages
    Racket
         60.0 %
    Haskell
         12.0 %
    Lean     8.0 %
    Agda     4.0 %
    Coq     4.0 %
    Shell
         4.0 %
    TeX
         4.0 %
    Ruby
         4.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 37,909
  • Country Ranking
    Racket
         40
    Lean     47
    Agda     73
    Coq     152
    Haskell
         866
    TeX
         3,382

Top repositories

1

datatype

(Somewhat) Algebraic Data Types for Racket
Racket
35
star
2

stop2015-redex

PLT Redex model of basic Dependently Typed Racket calculus
Racket
18
star
3

sst-tutorial

Racket
15
star
4

lean4-assert-command

A simple assertion command for Lean4
Lean
7
star
5

simple-sst-model

Simple Semantic Subtyping in Haskell
Haskell
6
star
6

tr-calc

Representations of the core calculi for Typed Racket
Racket
6
star
7

typeset-rewriter

simple, low level rewriters for PLT Redex typesetting
Racket
5
star
8

stop2015

Racket
5
star
9

funapp-inversion

Semantic Subtyping, Function Application Inversion, etc
Haskell
3
star
10

pldi16-artifact

Racket
3
star
11

ddict

Racket
3
star
12

fme

Fourier-Motzkin Elimination in Racket
Racket
3
star
13

simple-semantic-subtype

redex models, playing around with semantic subtyping basics
Racket
3
star
14

strands

Embedding strand spaces in Coq and working to verify correctness and other properties.
Coq
2
star
15

tex-templates

TeX
2
star
16

lean4-dev-goodies

Useful scripts for working with multiple Lean4 installs
Shell
2
star
17

tr-performance

Racket
1
star
18

dset

Deterministic sets
Racket
1
star
19

lean4-ranges

Lean
1
star
20

define-with-spec

Macro for adding simple specifications to function definitions.
Racket
1
star
21

advent

Advent of Code related things
Haskell
1
star
22

ruby-datatype

ADTs for Ruby (well, we'll see)
Ruby
1
star
23

expr-HoTT

some Homotopy Type Theory tidbits
Agda
1
star
24

prefab-predicate-compat

(Racket) Backwards compatible prefab predicate function
Racket
1
star
25

talks

misc talks
Racket
1
star