mukeshtiwari/PLAI
Racket code of programming language and interpretation ( http://cs.brown.edu/courses/cs173/2012/book/ )
Developer Profile
mukeshtiwari
Discovered public repositories for mukeshtiwari in the GitHub catalog.
mukeshtiwari/bottomupcs
Bottom Up Computer Science
mukeshtiwari/Anatomyprogramming
Ocaml code for W cook's anatomy of programming language ( http://www.cs.utexas.edu/~wcook/anatomy/anatomy.htm )
mukeshtiwari/cs173-python
Python framework code for cs173/fall 2012
mukeshtiwari/Sat-Solver
Sat solver code in OCaml taken from https://github.com/andrejbauer/lvr-sat. Ocaml Code practise!
mukeshtiwari/Topcoder
Codes related to topcoder practise
mukeshtiwari/papers-we-love
Papers from the computer science community to read and discuss.
mukeshtiwari/emacs.d
My emacs configuration
mukeshtiwari/whileinterpreter
While Interpreter in Haskell.
mukeshtiwari/Excercism
Public repository.
mukeshtiwari/free-programming-books
Public repository.
mukeshtiwari/ForresterScrap
Content of Forrester Blog
mukeshtiwari/Coursera
Code related coursera courses
mukeshtiwari/TitleDownloader
Downloads the title of webpage
mukeshtiwari/ideas
a record of ideas
mukeshtiwari/Research-Papers
Collection of various research papers I find interesting
mukeshtiwari/Compilers
Source code related to learning compilers
mukeshtiwari/Idris
Codes related to Idris
mukeshtiwari/HsLlvm
Haskell Implementation of LLVM opt
mukeshtiwari/Agda
Codes related to learning agda
mukeshtiwari/miller-rabin-primality
Public repository.
mukeshtiwari/fay
A proper subset of Haskell that compiles to JavaScript
mukeshtiwari/distributed-process
Public repository.
mukeshtiwari/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
mukeshtiwari/hs-linear-algebra
Haskell BLAS bindings
mukeshtiwari/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
mukeshtiwari/SPOJ
Source code of SPOJ problems
mukeshtiwari/Puzzles
Codes related to Project Euler and SPOJ