hzafar/papers-playground hzafar/papers-playground

  • Stars
    star
    2
  • Language
    Racket
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hzafar/papers-playground
github

hzafar

Reviews

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

Repository Details

More Repositories

1

pcf-interpreter

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

solid-spring-demo

Demo Solid application using the Spring Framework.
Kotlin
4
star
3

pfpl-in-racket

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 description of the Turnstile metalanguage.
Racket
4
star
4

isbd-parser

A context-sensitive ISBD parser.
Kotlin
3
star
5

buzztrack

Buzzpoint tracking for quizbowl
XSLT
1
star