8000 vbgl (Vincent Laporte) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View vbgl's full-sized avatar
72 followers · 159 following

Organizations

@jasmin-lang

Block or report vbgl

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
@sins921
Jesús Jiménez lozano sins921
por favor alguien que me explique

apichi gadalajara

@Charles-Chrismann
Charles Chrismann Charles-Chrismann
Étudiant en 4e année de Développement Web à l'IIM

Institut de l'Internet et du Multimédia (IIM) Paris, La Défense

@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.

Max Planck Institute for Security & Privacy Bochum, Germany

@zhengjieyu
zhengjieyu zhengjieyu
@fib1d
Marc Gourjon fib1d
@momeemt
Mutsuha Asada momeemt
CS Student @ Univ. of Tsukuba

University of Tsukuba Ibaraki, Japan

@AYUSHMIT
aapp AYUSHMIT

USA

@parjavadian
Parmida Javadian parjavadian
@inayet
Inayet Hadi inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful

Dreams API Denver, CO

@NickCao
Nick Cao NickCao

Red Hat Boston, MA

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

Inria Grenoble, France

@MrDaiki
MrDaiki
@juliofleitas
Julio Fleitas juliofleitas
@Gustavo2622
Gustavo2622
@alxbnct
Yosef Weissmann alxbnct
@yawen-guan
Miya (Yawen Guan) yawen-guan

Switzerland

@ulrikstrid
Ulrik Strid ulrikstrid
I write stuff in OCaml and Reason, I like the web, CI/CD and OIDC.

Strid Tech AB Gothenburg, Sweden

@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@aeyno
Tom Gouville aeyno
PhD student in Pesto team, Inria, France I like security, cryptography, software architecture, low level programming and free software

France

@lafeychine
Vincent Lafeychine lafeychine
@x0000000001
Antoine Toussaint x0000000001
Messing around with unix, algorithmics, rust ...

Mines Nancy Nancy, France

@ruipedro16
Rui Fernandes ruipedro16

Germany

@Rixxc
Aaron Kaiser Rixxc

MPI-SP Germany

@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@SeshatCZ
SeshatCZ

Czech republic

@tbrk
Timothy Bourke tbrk

Inria Paris

@m9h
Morgan Hough m9h
Computational biophysicist

Center17 San Francisco, CA

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🪿

Formal Land Paris

@loutr
Lucas loutr
I moved to Codeberg!
@intoverflow
Tim Carstens intoverflow

Seattle, WA

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

Madrid, Spain

@francoisschwarzentruber
François Schwarzentruber francoisschwarzentruber

ENS Rennes Rennes, France

@ahmadsafirun
ahmadsafirun
@maxammann
Max Ammann maxammann

@KittyCAD ex @trailofbits @digitalfabrik @maplibre Germany

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@Johnvono
Johnvono
@imsomedev
SomeDev imsomedev
@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@hugolgst
Hugo hugolgst

Norway

@NicolasBertrand
Nicolas Bertrand NicolasBertrand
@MQuaresma
Miguel Quaresma MQuaresma
Security and Cryptography Researcher & Engineer at Least Authority | Ph.D. Candidate in PQC at the Max-Planck Institute for Security and Privacy

Least Authority / MPI-SP Bochum, Germany

@sternenseemann
sternenseemann
@carlosal1015
Oromion carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.

National University of Engineering Peru

@vyp
vyp
انتفاضة
@ghuysmans
ghuysmans

Belgium

@rixed
Cedric Cellier rixed

@securactive Karlsruhe

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team at CNRS, ENS de Lyon, UCBL, LIP | Interests: interactive theorem proving, formalization of mathematics, and proof by reflection

Lyon, France

@psivesely
Psi Vesely psivesely
Cryptographer specializing in zero-knowledge proofs. 5th year PhD student at Yale with extensive industry experience. Available for part-time consulting.

Yale University San Francisco, CA

@Laymer
Igor K Laymer
Softwre QA Engineer @ nokia. Breaking things is my favorite thing to do. Erlang, TCL and SROS enthusiast. ex. Researcher @uclouvain @LightKone

Nokia Bell NV Belgium

0