Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Users following verse-lab

@ADSWT518
Yazhou Tang ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner

Zhejiang University Hangzhou, China

@dhsorens
Derek Sorensen dhsorens
protocol snarkification at @ethereum

Ethereum Foundation

@tiny-eng
Joshua Henry tiny-eng
I love working on new challenges. If you need help with any tasks, I’d be happy to connect.

FL, United State

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@KoanOps
唐家義 KoanOps
USA & Hong Kong

University of Texas - Austin Houston, TX

@XujieSi
Xujie Si XujieSi

University of Toronto Toronto

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@diohabara
渋沢栄一津田梅子北里柴三郎 diohabara
Money money money

プロプログラマー Tokyo

@luxas
Lucas Käldström luxas
Emeritus @kubernetes SIG & WG co-chair and @cncf Ambassador | Staff Engineer at @upbound | MSc studies at Aalto Uni | KubeCon Keynote Speaker | KCD Helsinki

@kubernetes @cncf @upbound Finland

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@yanliu18
Yan yanliu18
Programming Language, Formal Methods Researcher / Smart Contract Auditor / Haskell/Rust programming

Australian National University Melbourne

@alok
Alok Singh alok
If you’re a smooth operator, you can infinitely differentiate yourself.

Berkeley, CA

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@MostWrong
typeØ(wl)female MostWrong
people will have agi before they have electricity thats stable all day - tszzl

your BigMAC address

@shubhamkumar13
shubham shubhamkumar13
Projects on : https://codeberg.org/shubhamkumar13

India

@jhvst
Juuso Haavisto jhvst

@Ponkila Oulu, Finland

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@aaspeel
Antoine Aspeel aaspeel
I am a postdoc in control and optimization

CentraleSupélec Paris

@F1uctus
Ilya Nikitin F1uctus
Student, programming languages theory and computational linguistics enthusiast. Occasionally a game maker. Amateur landscape photographer.
@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@chung-thai-nguyen
Chung Thai Nguyen chung-thai-nguyen
Vibe coder. Verifiable computation.

Vietnam

@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana