gowthamk/coqlyst
Coq development of CATALYST
Developer Profile
gowthamk
Discovered public repositories for gowthamk in the GitHub catalog.
gowthamk/notes
Blog markdown files
gowthamk/gowthamk.github.io
github pages
gowthamk/Z3MLton
A CIL extension to generate MLton FFI interface for Z3 SMT C APIs
gowthamk/ee570
Purdue AI Course
gowthamk/Lambda
Experiments with variants of lambda calculus
gowthamk/catalyst
Relspec implementation
gowthamk/mlton
The MLton repository
gowthamk/Okasaki
Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
gowthamk/zhus
Public repository.
gowthamk/typelogger
SML NJ Compiler Pass
gowthamk/interp
miniml interpreter
gowthamk/plwiki
plwiki
gowthamk/mpisort
quicksort using mpi
gowthamk/JChord
Open source JChord framework
gowthamk/Sherlock
A Valgrind Taint Analysis Tool
gowthamk/Taintgrind
A Valgrind Taint Analysis Tool
gowthamk/pqsort
Parallel Quicksort
gowthamk/Harpoon
The FLEX Java compiler infrastructure
gowthamk/maprejuice
The source code for MapRejuice, the distributed client-side computing implementation of Map Reduce built on top of Node.js for the Node Knockout competition in 2010. Built over 48 hours, code is not perfect and hasn't been touched since. Feel free to peruse though!
gowthamk/TwitterYQL
A simple web based client to display twitter feeds
gowthamk/Node-Test
Public repository.
gowthamk/Hello-World
Test Project