Input Output
Vladimรญr Volek
vladimirvolek
Besides chocolate, youโre my favorite.
@input-output-hk, ex @fivebinaries, @trezor, @cisco Prague
Javier Hernรกndez Sรกnchez
javierhersan
Software Engineer | MSc in Telecommunication Engineering
Madrid
Marcin Wรณjtowicz
crocodile-dentist
Functional programmer - haskell, racket - with background in engineering
input-output-hk Poland
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Michal Winiarski
viniarski
โข ๐งฎ Passionate coder โข
๐ Cryptocurrency Bull โข
๐ Cybersecurity enthusiast โข
๐ Continuous learner โข
Ginsky
eugene254-ship-it
Suspended
Lead Engineer : AI | Backend | System Design | Architect | Go | NodeJs | NestJS | Typescript | ES6 | GraphQL | Microservice | AWS | GCP | Serverless | K8S | IAC
Paycoo Nairobi
jozef-javorsky-dodo
jozef-javorsky-dodo
๐๐ข๐๐ป๐พ๐๐ฅฆ๐น๐ฒโ๏ธ๐๐๐
๐๐ข๐๐ป๐พ๐๐ฅฆ๐น๐ฒโ๏ธ๐๐๐jozef.javorsky.dodo@gmail.com
/ ` - . ___ skate-ฯark :โขD ___ . - ' \
Andrea C from The App
gacallea
Multitalented Creative. I love Functional Programming. Currently Learning Swift.
Milan, Italy.
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs | Allergic to syntax without semantics
University of Paderborn Paderborn
Kenny (Knight) Sheridan
kennethdsheridan
Software Engineer with a Meteorology background. Specializes in Enterprise Hardware & Infrastructure Performance
Gig Harbor, WA
Vincent Neumann
vincent1994neumann
Im letzten Jahr habe ich mich in einer einjรคhrigen Weiterbildung auf die App-Entwicklung spezialisiert, mit dem Fokus auf Android (Kotlin) und iOS (Swift)
@SI-Classroom-Batch-010
