Skip to content
View mukeshtiwari's full-sized avatar
💭
keep_learning
💭
keep_learning
152 followers · 1.4k following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report mukeshtiwari

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@rocq-community
Rocq-community rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
@mattrglobal
MATTR mattrglobal

MATTR New Zealand

@swiyu-admin-ch
swiyu - the Swiss Trust Infrastructure ecosystem swiyu-admin-ch
Organization for all public repositories of the swiyu Public Beta Trust Infrastructure

Switzerland

@e-id-admin
Swiss E-ID Ecosystem e-id-admin
Deprecated projectspace for broad public participation on the topics E-ID and digital trust infrastructure in Switzerland

Switzerland

@IrreducibleOSS
Irreducible IrreducibleOSS
Accelerating the Zero-Knowledge Revolution
@Tragicus
Quentin VERMANDE Tragicus
@sec-bit
SECBIT Labs sec-bit
@mmaker
Michele Orrù mmaker
@asn-d6
George Kadianakis asn-d6
asn
@Ethsnarks
Ethsnarks
zkSNARKs for Ethereum
@damien-pous
Damien Pous damien-pous

CNRS, ENS Lyon France

@inQWIRE
INQWIRE inQWIRE
Verified Software for the Computers of Tomorrow
@theblackelephant
Ajay Tiwari theblackelephant
Tech Forever!

New Delhi

@tlsnotary
TLSNotary tlsnotary
@Frama-C
Frama-C
Frama-C Software Analyzers
@reilabs
Reilabs reilabs
We build software that others can't.
@PeaceFounder
PeaceFounder PeaceFounder
Centralised E2E verifiable evoting via pseudonym braiding and history trees
@Election-Tech-Initiative
Election Technology Initiative Election-Tech-Initiative
@ujberger
ujberger
@hash-based-snargs-book
hash-based-snargs-book
@claucece
Sofía Celi claucece
Cryptography @brave and honorary fellow Uni Bristol. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare

@brave AMS/LIS/UIO

@Orbis-Tertius
Orbis Labs Orbis-Tertius
Building Zero-Knowledge Proofs on Cardano
@oxen-io
Oxen oxen-io
@TheAlgorithms
The Algorithms TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language

India

@privacy-ethereum
PSE privacy-ethereum
PSE is a research and development lab delivering privacy to the Ethereum ecosystem
@docknetwork
Dock Labs docknetwork
Dock Labs are the makers of the Truvera platform for issuing, holding, and verifying digital credentials.
@trevp
trevp
@emtst
Engineering the Meta Theory of Session Types emtst
@scribble
scribble
@rod-chapman
Roderick Chapman rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.

Amazon Web Services UK

@privacybydesign
Yivi privacybydesign
Back in charge of your digital data

The Netherlands

@valimised
Valimised Eestis valimised
@initc3
The Initiative for Cryptocurrencies and Contracts (IC3) initc3
IC3 is an initiative of faculty members at several universities worldwide, working to advance the science and applications of blockchains.
@cfrg
Crypto Forum Research Group cfrg
@votingworks
VotingWorks votingworks
better voting machines
@simonpj
Simon Peyton Jones simonpj

Epic Games

@lovesh
Lovesh Harchandani lovesh
@lehnberg
Daniel Lehnberg lehnberg
@obsidiansystems
Obsidian Systems obsidiansystems
Software consultancy specializing in haskell, nix, curiosity, and innovation.

New York, NY

@RightToAskOrg
Ask Parliament RightToAskOrg
Client and server repos for the Ask Parliament app
@gilith
Joe Leslie-Hurd gilith
Robot mathematician, probability plumber, chip monk, etc.

Intel Corporation Portland, OR, USA

@freenet
The Freenet Project freenet
Declare your Digital Independence

United States of America

@PurpleI2P
PurpleI2P
@jcommelin
Johan Commelin jcommelin

— —

@gert-smolka
Gert Smolka gert-smolka

Saarland University Germany

@bergwerf
Herman Bergwerf bergwerf
Life is an experience, computers are only a tool.

Bergwerf Labs Amsterdam, Netherlands

@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@jmadiot
Jean-Marie Madiot jmadiot
@iwashis
Tomasz Brengos iwashis
There's no such thing as a lousy job-only lousy men who don't care to do it.

Warsaw, Poland

@letouzey
letouzey