Pinned Repositories
Coq-automation
Coq codes using various automation techniques
Formally-Verified-MultiObjective-Optimisation
Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Formally_Verified_Verifiable_Group_Generator
Repo for computing group generators in publicly verifiable manner.
Idris
Codes related to Idris
Schulzeproperties
This repo is intended for verifying properties of Schulze Method
Semiring_graph_algorithm
Semiring for short
SHA256
OCaml Code for SHA256, extracted from Coq formalisation
Thesis
Repository for my Phd thesis. Finally, it's happening :)
mukeshtiwari's Repositories
mukeshtiwari/Agda
Codes related to learning agda
mukeshtiwari/bnfc
BNF Converter
mukeshtiwari/bottomupcs
Bottom Up Computer Science
mukeshtiwari/abhidivmuk
codes/lectures/presentation about learning
mukeshtiwari/Coursera
Code related coursera courses
mukeshtiwari/cs173-python
Python framework code for cs173/fall 2012
mukeshtiwari/distributed-process
mukeshtiwari/emacs.d
My emacs configuration
mukeshtiwari/fay
A proper subset of Haskell that compiles to JavaScript
mukeshtiwari/ForresterScrap
Content of Forrester Blog
mukeshtiwari/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
mukeshtiwari/hs-linear-algebra
Haskell BLAS bindings
mukeshtiwari/HsLlvm
Haskell Implementation of LLVM opt
mukeshtiwari/ideas
a record of ideas
mukeshtiwari/implementations
Implementations of program analysis tools with a focus on machine code
mukeshtiwari/inc
an incremental approach to compiler construction
mukeshtiwari/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
mukeshtiwari/ledgertheory
mukeshtiwari/miller-rabin-primality
mukeshtiwari/papers-we-love
Papers from the computer science community to read and discuss.
mukeshtiwari/Research-Papers
Collection of various research papers I find interesting
mukeshtiwari/Sat-Solver
Sat solver code in OCaml taken from https://github.com/andrejbauer/lvr-sat. Ocaml Code practise!
mukeshtiwari/thoughts
Putting thoughts while reading papers
mukeshtiwari/TitleDownloader
Downloads the title of webpage
mukeshtiwari/training-day
mukeshtiwari/whileinterpreter
While Interpreter in Haskell.