Mukesh Tiwari's Projects
(AB - CD = EF) + GH = PPP problem
codes/lectures/presentation about learning
Codes related to learning agda
Share, discuss and learn about algorithm implementations!
Ocaml code for W cook's anatomy of programming language ( http://www.cs.utexas.edu/~wcook/anatomy/anatomy.htm )
AOC in Lean4 (Trying to learn IO in Lean4)
Latex Templates for Australian Research Council Discovery and DECRA programs
A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offer which apply directly to higher level languages.
Assignment Solution
Thirteen Years of Tor Attacks
:sunglasses: Curated list of awesome lists
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
A curated list of awesome ZK resources, libraries, tools and more.
Bedrock Bit Vector Library
Bitvector library in Coq
BNF Converter
Bottom Up Computer Science
Talk I gave at the Cambridge theory group
Verified Monad laws in Coq
List of papers studying machine learning through the lens of category theory
Analyzing c code
Two page summary for CDNG
Poster
CertiCrypt Coq Framework