Pinned Loading

1. isbd-parser isbd-parser Public

   A context-sensitive ISBD parser.

   Kotlin 3

2. solid-spring-demo solid-spring-demo Public

   Demo Solid application using the Spring Framework.

   Kotlin 4 2

3. pcf-interpreter pcf-interpreter Public

   A Racket-based implementation of PCF as described in Robert Harper's Practical Foundations for Programming Languages.

   Racket 8

4. pfpl-in-racket pfpl-in-racket Public

   Playing around with Racket/Turnstile-based implementations of the languages described in Practical Foundations for Programming Languages. See http://www.ccs.neu.edu/home/stchang/popl2017/ for a des…

   Racket 4

5. papers-playground papers-playground Public

   Racket 2

6. algprog-racket algprog-racket Public

   Working through Bird and de Moor's "Algebra of Programming" in Typed Racket.

   Racket