Mukesh Tiwari's Projects
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Coq codes using various automation techniques
This is coq graph library taken from graph-basics.
Toy demo of lexing/parsing in Coq
Coq reading group in ANU
Tricks you wish the Coq manual told you
Coq Utility Functions and Proofs
This is repo for Coq utilities
Functional Programming Course
Code related coursera courses
repo for covid resource tracking
Library consisting of explanation and implementation of all the existing attacks on various Encryption Systems, Digital Signatures, Hashing Algorithms along with example challenges from CTFs
code related to matsano crypto challenge
Various papers on crypto pertinent to zero knowledge proofs, etc
Python framework code for cs173/fall 2012
Material for Static Differentiation in Cache Transfer Style
Playing with cubical type theory
Data science tooling for Racket
All India radio data
Implementation of Data Structures
A formalization of the Dedekind reals in Coq
Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)
Domain-Specific Languages of Mathematics
Lecture material for DeepSpec Summer School 2017
Lecture material for DeepSpec Summer School 2018
EasyCrypt: Computer-Aided Cryptographic Proofs
This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and implementation decisions, as well as an overview of voting system components and functionality.
A Formal Library about Elliptic Curves for the Mathematical Components Library.
My emacs configuration