Pinned Repositories
akka-sharded-playground
closedforms
Delite
The Delite Git Repo
flaredata.github.io
Forge
A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
lms-verify
generative programming & verification
net-toolkit
A simple module for <Torch7> and the <nn> package
ogameandroid
Automatically exported from code.google.com/p/ogameandroid
optim
A numeric optimization package for Torch.
purduepl.github.io
A blog of Programming Languages Group @Purdue
GSAir's Repositories
GSAir/akka-sharded-playground
GSAir/closedforms
GSAir/Delite
The Delite Git Repo
GSAir/flaredata.github.io
GSAir/Forge
A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
GSAir/lms-verify
generative programming & verification
GSAir/net-toolkit
A simple module for <Torch7> and the <nn> package
GSAir/ogameandroid
Automatically exported from code.google.com/p/ogameandroid
GSAir/optim
A numeric optimization package for Torch.
GSAir/purduepl.github.io
A blog of Programming Languages Group @Purdue
GSAir/spark-sql-perf
GSAir/tutorials
Tutorials on Lightweight Modular Staging
GSAir/write-ups-2015
Wiki-like CTF write-ups repository, maintained by the community. 2015