Mukesh Tiwari (@mukeshtiwari)
github

mukeshtiwari

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    47
  • Global Rank 356,388 (Top 13 %)
  • Followers 130
  • Following 1,362
  • Registered about 13 years ago
  • Most used languages
    Coq     57.1 %
    C
         7.1 %
    TeX
         7.1 %
    Assembly
         7.1 %
    Idris     7.1 %
    OCaml
         7.1 %
    Java
         7.1 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 16,973
  • Country Ranking
    Coq     7
    Idris     9
    OCaml
         192
    Assembly
         513
    TeX
         592
    C
         4,351
    Java
         8,406

Top repositories

1

Idris

Codes related to Idris
Idris
14
star
2

Coq-automation

Coq codes using various automation techniques
Coq
4
star
3

Thesis

Repository for my Phd thesis. Finally, it's happening :)
TeX
3
star
4

Formally_Verified_Verifiable_Group_Generator

Repo for computing group generators in publicly verifiable manner.
Coq
3
star
5

Formally-Verified-MultiObjective-Optimisation

Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Coq
3
star
6

Semiring_graph_algorithm

Semiring for short
Coq
3
star
7

SHA256

OCaml Code for SHA256, extracted from Coq formalisation
OCaml
2
star
8

Schulzeproperties

This repo is intended for verifying properties of Schulze Method
Coq
2
star
9

CAS

Coq
1
star
10

CDNGPoster

Poster
1
star
11

Ccodeanalysis

Analyzing c code
C
1
star
12

Probability_Theory

Coq
1
star
13

well-written-papers

This repo collects all the nicely written paper, accordng to me.
1
star
14

EncryptionSchulze

Schulze scheme with encrypted ballots
Java
1
star
15

Dlog-zkp

Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)
Coq
1
star
16

LearningOS

Code related to learning operating system
Assembly
1
star