Mukesh Tiwari (mukeshtiwari)

mukeshtiwari

Geek Repo

Location:Swansea

Home Page:mukeshtiwari.github.io

Github PK Tool:Github PK Tool

Mukesh Tiwari's repositories

Agda

Codes related to learning agda

Stargazers:1Issues:0Issues:0

bnfc

BNF Converter

Stargazers:1Issues:0Issues:0

bottomupcs

Bottom Up Computer Science

Language:XSLTStargazers:1Issues:0Issues:0

abhidivmuk

codes/lectures/presentation about learning

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

Coursera

Code related coursera courses

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

cs173-python

Python framework code for cs173/fall 2012

Language:RacketStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

emacs.d

My emacs configuration

Language:Emacs LispStargazers:0Issues:0Issues:0

fay

A proper subset of Haskell that compiles to JavaScript

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

ForresterScrap

Content of Forrester Blog

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hs-linear-algebra

Haskell BLAS bindings

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

HsLlvm

Haskell Implementation of LLVM opt

License:NOASSERTIONStargazers:0Issues:0Issues:0

ideas

a record of ideas

Stargazers:0Issues:0Issues:0

implementations

Implementations of program analysis tools with a focus on machine code

Language:CStargazers:0Issues:0Issues:0

inc

an incremental approach to compiler construction

Language:SchemeLicense:MITStargazers:0Issues:0Issues:0

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Language:HaskellStargazers:0Issues:0Issues:0
Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Stargazers:0Issues:0Issues:0

Research-Papers

Collection of various research papers I find interesting

Language:HaskellStargazers:0Issues:0Issues:0

Sat-Solver

Sat solver code in OCaml taken from https://github.com/andrejbauer/lvr-sat. Ocaml Code practise!

Language:OCamlStargazers:0Issues:0Issues:0

thoughts

Putting thoughts while reading papers

License:MITStargazers:0Issues:0Issues:0

TitleDownloader

Downloads the title of webpage

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:ClojureStargazers:0Issues:0Issues:0

whileinterpreter

While Interpreter in Haskell.

Language:HaskellStargazers:0Issues:0Issues:0