Skip to content
View vitalibarozzi's full-sized avatar
💻
beep boop
💻
beep boop
12 followers · 64 following
  • Brazil

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Block or report vitalibarozzi

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@tsoding
Tsoding tsoding
Recreational Programming
@ivanperez-keera
Ivan Perez, PhD ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker

@NASA Ames Research Center / KBR San Jose, CA

@keera-studios
Keera Studios keera-studios
The mobile Haskell game and app company - http://keera.co.uk
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@dhilst
Daniel Hilst dhilst
President of People's Republic of Saturn's Rings.

Brazil - Florianópolis

@mmhat
Mann mit Hut mmhat
@arybczak
Andrzej Rybczak arybczak
@DebugSteven
Jesse Haigh DebugSteven

Denver, CO

@KingoftheHomeless
KingoftheHomeless
@mgajda
Michał J. Gajda mgajda
Software developer with experience in functional programming, JS, CSS, XML, and zillions of other languages. No, I do not SSH telepathically ;-).

Warsaw

@mputz86
Matthias Putz mputz86

simpl rocks Anywhere in Europe

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@seliopou
Spiros Eliopoulos seliopou

@seliopou BK/RI

@coproduto
Cast coproduto
Building @appcumbuca.

São Paulo, Brazil

@lattner
Chris Lattner lattner

Bay Area, California, USA

@vmchale
Vanessa McHale vmchale
Programmer
@nurpax
Janne Hellsten nurpax
@adamstac
Adam Stacoviak adamstac
Founder & Editor-in-Chief of Changelog.com

@thechangelog Austin, TX

@deech
Aditya Siram deech
@benl23x5
Ben Lippmeier benl23x5
Post Functional Reprogrammer

Sydney, Australia

@steveklabnik
Steve Klabnik steveklabnik
Rust, jj, other things

East River Source Control Austin, TX

@iokasimov
Murat Kasimov iokasimov
Software designer

เชียงใหม่

@emilypi
Emily Pillmore emilypi
Ranching is more fun than tech.

Salt Lake City, Utah

@Gab0
Gabriel Araujo Gab0
Biologist & Software Engineer

Rio de Janeiro, Brazil

@theevocater
Jake Kaufman theevocater

@lyft Brooklyn, NY

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@mbbx6spp
Susan Potter mbbx6spp
Re-imagining software with functional programming. Nix, Haskell, Scala, F#, PureScript, and (only if necessary) TypeScript.

@referentiallabs USA

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

@ocramz
Marco Z ocramz
ML + λ

@unfoldml

@vrom911
Veronika Romashkina vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using C++

Bloomberg London, UK

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@chris-martin
Chris Martin chris-martin
❬🖤❭ Haskell

@freckle Montana

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@ericnormand
Eric Normand ericnormand
Making the world safe for Functional Programming. Speaking · Training · Consulting · Writing https://ericnormand.me/

@lispcast Madison WI

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

Glasgow, UK

@richhickey
Rich Hickey richhickey

NY

@MonoidMusician
Verity Scheel MonoidMusician
@simonmar
Simon Marlow simonmar

Cambridge, UK

@fritzo
Fritz Obermeyer fritzo
Inference Engineer. Bayesian pragmatist. λ-calculus researcher.

Bellingham, WA

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@A1kmm
Andrew Miller A1kmm

Atlassian Melbourne, Australia

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@bergmark
Adam Bergmark bergmark

Stockholm, Sweden

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@rexb166er
rexb166er
@puffnfresh
Brian McKenna puffnfresh
λ

Launceston & North East Railway Tasmania, Australia

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France