hzafar Goto Github PK

algprog-racket

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

buzztrack

Buzzpoint tracking for quizbowl

category-theory-for-programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers

cis194

Exercises from the Spring 2013 offering of the CIS 194 Intro to Haskell course. http://www.cis.upenn.edu/~cis194/spring13/lectures.html

dhconvalidator

A DH abstracts conversion tool

dspace

(Official) The DSpace digital asset management system that powers your Institutional Repository

isbd-parser

A context-sensitive ISBD parser.

nerve

Named Entity Recognition Vetting Environment

paperclub

A list of things you might want to read if you like reading Computer Science things

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.

pyz3950

Pure-python Z39.50 implementation

racket

The Racket repository

racketdb

A work in progress Racket driver for RethinkDB.

reading-tracker

Track reading progress.

sicp

A SICP language for Racket.

solid-spring-demo

Demo Solid application using the Spring Framework.

tiger

Kotlin implementations of the exercises from Appel's 'Modern Compiler Implementation in Java'.