Mukesh Tiwari

Idris. Codes related to Idris

Formally_Verified_Verifiable_Group_Generator. Repo for computing group generators in publicly verifiable manner.

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

Thesis. Repository for my Phd thesis. Finally, it's happening :)

Semiring_graph_algorithm. Semiring for short

SHA256. OCaml Code for SHA256, extracted from Coq formalisation

Schulzeproperties. This repo is intended for verifying properties of Schulze Method

Probability_Theory. Coq

awesome-tips.

well-written-papers. This repo collects all the nicely written paper, accordng to me.

CoqUtil. Coq Utility Functions and Proofs

awesome-zk. A curated list of awesome ZK resources, libraries, tools and more.

Dlog-zkp. Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)

LearningOS. Code related to learning operating system

coq-tricks. Tricks you wish the Coq manual told you

SigmaProtocol. Rocq Prover

EncryptionSchulze. Schulze scheme with encrypted ballots

certicrypt. CertiCrypt Coq Framework

bottomupcs. Bottom Up Computer Science

blorg. Clojure

bnfc. BNF Converter