philnguyen/723-project-1
Project 1 for 723
Developer Profile
philnguyen
Discovered public repositories for philnguyen in the GitHub catalog.
philnguyen/adapton.racket
Racket-based implementation of Adapton
philnguyen/630-project
Public repository.
philnguyen/remark
A simple, in-browser, markdown-driven slideshow tool.
philnguyen/pict3d
3-dimensional picts
philnguyen/CMSC630
Public repository.
philnguyen/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
philnguyen/LPATHBench
Benchmarks of the longest path problem in various languages
philnguyen/Score4
AI: Implementing Score4 (Connect four) in functional and imperative languages
philnguyen/RSound
A cross-platform sound library for DrRacket
philnguyen/get-bonus
an experimental video game development environment
philnguyen/CMSC754
CMSC754 Classwork
philnguyen/pcf
PCF with Contracts and Symbolic Values
philnguyen/LightTable
The Light Table IDE
philnguyen/lambdaman-redex
My attempt at ICFP Programming Contest 2014
philnguyen/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
philnguyen/reading
Modelling of random papers I read
philnguyen/intermine
A powerful open source data warehouse system
philnguyen/CMSC702
Repo for Computational Systems Biology and Functional Genomics @ University of Maryland, College Park
philnguyen/soft-contract
A prototype of soft contract verification for an untyped functional language
philnguyen/free-programming-books
Public repository.
philnguyen/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
philnguyen/halo
Public repository.