Pinned Repositories
algprog-racket
Working through Bird and de Moor's "Algebra of Programming" in Typed Racket.
buzztrack
Buzzpoint tracking for quizbowl
isbd-parser
A context-sensitive ISBD parser.
papers-playground
pcf-interpreter
A Racket-based implementation of PCF as described in Robert Harper's Practical Foundations for Programming Languages.
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.
solid-spring-demo
Demo Solid application using the Spring Framework.
hzafar's Repositories
hzafar/pcf-interpreter
A Racket-based implementation of PCF as described in Robert Harper's Practical Foundations for Programming Languages.
hzafar/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.
hzafar/solid-spring-demo
Demo Solid application using the Spring Framework.
hzafar/isbd-parser
A context-sensitive ISBD parser.
hzafar/papers-playground
hzafar/buzztrack
Buzzpoint tracking for quizbowl
hzafar/algprog-racket
Working through Bird and de Moor's "Algebra of Programming" in Typed Racket.
hzafar/Category-Theory-for-Programmers.kt
Kotlin sample code for Bartosz Milewski's CT for Programmers
hzafar/CIS194
Exercises from the Spring 2013 offering of the CIS 194 Intro to Haskell course. http://www.cis.upenn.edu/~cis194/spring13/lectures.html
hzafar/dhconvalidator
A DH abstracts conversion tool
hzafar/DSpace
(Official) The DSpace digital asset management system that powers your Institutional Repository
hzafar/NERVE
Named Entity Recognition Vetting Environment
hzafar/paperclub
A list of things you might want to read if you like reading Computer Science things
hzafar/PyZ3950
Pure-python Z39.50 implementation
hzafar/racket
The Racket repository
hzafar/racketdb
A work in progress Racket driver for RethinkDB.
hzafar/reading-tracker
Track reading progress.
hzafar/sicp
A SICP language for Racket.
hzafar/tiger
Kotlin implementations of the exercises from Appel's 'Modern Compiler Implementation in Java'.