8000 jtcoolen (Julien Coolen) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View jtcoolen's full-sized avatar

Organizations

@NixOS

Block or report jtcoolen

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@nadimkobeissi
Nadim Kobeissi nadimkobeissi

@symbolicsoft, @cure53berlin Paris, France

@web3privacy
Web3Privacy Now web3privacy
Research project aimed at discovering, highlighting, and analyzing privacy-enhancing services within the Web3 industry
@truffle-box
Truffle Box truffle-box
A set of boilerplates to help developers quickly build distributed applications on the Ethereum blockchain with Truffle.
@Orbis-Tertius
Orbis Labs Orbis-Tertius
Building Zero-Knowledge Proofs on Cardano
@matter-labs
Matter Labs matter-labs
Practical applications of Zero-Knowledge Proofs

World wide

@cknabs
Christian Knabenhans cknabs
PhD student at EPFL (SPRING & COMPSEC labs)
@ocaml
OCaml ocaml
The OCaml functional programming language and system
@tcoratger
Thomas Coratger tcoratger
PhD in applied mathematics. Research at Ethereum Foundation.

Ethereum Foundation France

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@Nadrieril
Nadrieril Nadrieril

Inria Paris, France

@miguel-ambrona
Miguel Ambrona miguel-ambrona
I choose not to believe in free will

Madrid, Spain

@WizardOfMenlo
Giacomo Fenzi WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!

EPFL Italy

@rdubois-crypto
Renaud Dubois rdubois-crypto
- Expert Cryptographer in Ethereum Ecosystem (mainnet + L2's) for 2 years. - Expert Cryptographer for the Defense Industry (17 years).

Erdos Number : 4 crypt0grapher.eth

@0x0ece
Emanuele Cesena 0x0ece
Firedancer + Co-founder at SoloKeys

@SoloKeys San Francisco

@albinahlback
Albin Ahlbäck albinahlback

École Polytechnique Paris, France

@johnyob
Alistair johnyob
Compiler & Type System Enthusiast

University of Cambridge United Kingdom

@MixedMatched
alessandra simmons MixedMatched
embedded systems and formal methods enthusiast / cs+philosophy major at northeastern
@bergwerf
Herman Bergwerf bergwerf
Life is an experience, computers are only a tool.

Bergwerf Labs Amsterdam, Netherlands

@arkworks-rs
arkworks arkworks-rs
An ecosystem for developing and programming with zkSNARKs
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@jan-ferdinand
Jan Ferdinand Sauer jan-ferdinand
Climbing cryptographer.

@Neptune-Crypto

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

@NebraZKP
NEBRA NebraZKP
nebra aims to bring proof singularity to reality.
@mschof
Markus Schofnegger mschof

Fabric Cryptography Graz, Austria

@MystenLabs
Mysten Labs MystenLabs
We create foundational infrastructure to accelerate web3 adoption
@mratsim
Mamy Ratsimbazafy mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing

Paris

@mitschabaude
Gregor Mitscha-Baude mitschabaude
Co-founder @zksecurity. TypeScript hacker with 🍓 for crypto, math, zksnarks, P2P, Wasm, open source

@zksecurity Vienna, Austria

@LFDT-Lockness
Lockness LFDT-Lockness
Lockness, an LF Decentralized Trust project.
0