nielstron
Working on Blockchain technologies, mechanized verification of data structures, open-source python libraries.
ETH ZurichSwitzerland
nielstron's Following
- 0liComGermany
- AndreasDa
- bittlingmayerModelFront @modelfront
- blinklabs-io
- boi4
- chitter99Switzerland, Zürich
- chrissiwafflerMunich, Germany
- dabchTechnische Universität München
- Dev-MarSGöttingen
- dmitropolsky
- drvinceknightCardiff University, School of Mathematics
- esthicodes@esthiscodes
- Finnomator@Infineon
- freshkanY&L Solutions
- gernst
- gmalecha@bedrocksystems
- Hoang-Viet-DoDraphony
- HongyuHeZürich, Switzerland
- Jh123xSingapore
- jthomme1
- juliusfrostBoston
- MaximilianAzendorfmeinestadt.de
- mxcl@pkgxdev
- perturbing
- pranomostro
- pruvistoUniversity of Innsbruck
- roberthoenigETH Zurich
- sacrelegeSwitzerland
- sassythesasquatchh
- solidsnakedevToronto, Canada
- STEAKProtocol
- swe-bench
- txpipe
- vault3-io
- voidcGermany
- YuchenHe98