rlreis90/tt
A minimalist implementation of type theory, suitable for experimentation
Developer Profile
rlreis90
Discovered public repositories for rlreis90 in the GitHub catalog.
rlreis90/LambdaPi
Public repository.
rlreis90/fsharp
The F# Compiler
rlreis90/scala-android-lab
test project for scala + android
rlreis90/recursive-explorations
Public repository.
rlreis90/hw4_rottenpotatoes
Public repository.
rlreis90/nlp-class
Stanford March 2012 Natural Language Processing On-Line Course
rlreis90/hw3_rottenpotatoes
HW 3 skeleton for doing BDD with RottenPotatoes
rlreis90/hw2_rottenpotatoes
RottenPotatoes version for starting HW 2 part (b)