Huma Zafar's repositories
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.
isbd-parser
A context-sensitive ISBD parser.
algprog-racket
Working through Bird and de Moor's "Algebra of Programming" in Typed Racket.
Category-Theory-for-Programmers.kt
Kotlin sample code for Bartosz Milewski's CT for Programmers
dhconvalidator
A DH abstracts conversion tool
DSpace
(Official) The DSpace digital asset management system that powers your Institutional Repository
NERVE
Named Entity Recognition Vetting Environment
paperclub
A list of things you might want to read if you like reading Computer Science things
PyZ3950
Pure-python Z39.50 implementation
racketdb
A work in progress Racket driver for RethinkDB.
reading-tracker
Track reading progress.
sicp
A SICP language for Racket.