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

Skip to content
View DavidMazarro's full-sized avatar
🎹
🎹
29 followers · 64 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Arctic Code Vault Contributor

Organizations

@stackbuilders @acmfi @imdea-software

Block or report DavidMazarro

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 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
@raulraja
Raúl Raja Martínez raulraja
Interested in AI, LLMs, Functional Programming & Formal verification at @predictable-machines

@predictable-machines Multiverse

@nomisRev
Simon Vergauwen nomisRev
Developer Advocate @JetBrains. Backend, Server-Side, FP, Ktor, Streaming in @Kotlin. @arrow_kt maintainer.

JetBrains Belgium

@predictable-machines
Predictable Machines predictable-machines
An engineering team ensuring trustworthy, efficient, and business-ready AI outcomes.

United States of America

@iczelia
Kamila Szewczyk iczelia
21yo. professor of computational heresy. formerly @Dyalog.

Germany

@alejgh
Alejandro González Hevia alejgh

Spain

@evertedsphere
Soham Chowdhury evertedsphere

Paris

@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@SantFdez
Santiago Fernández SantFdez
@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

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

Montreuil

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@flandrade
Fernanda Andrade flandrade
@open-spaced-repetition
Open Spaced Repetition open-spaced-repetition
We are developing open-source spaced repetition algorithms for any spaced repetition software/system.
@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@rafafrdz
Rafael Fernández rafafrdz
Scala Developer • Formal Methods Software Engineer • Mathematics

Neoris España

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@CristhianMotoche
Cristhian Motoche CristhianMotoche

@stackbuilders Quito, Ecuador

@kutyel
Flavio Corpa kutyel
Functional Engineer 𝝺 Haskell & Elm

@scrive Alicante, Spain

@newswim
Dan Minshew newswim
Senior Software Engineer @atlassian \ Treasurer @techmilldenton \ ∆∆∆ Farmer @GreenfinityFarms \

@Atlassian Austin, Tx

@axodotdev
axodotdev axodotdev

United States of America

@jakierice
Jakie W. Rice jakierice

Texas

@monadplus
Arnau Abella monadplus
professional threads racer

Europe

@daelvn
Dáel Muñiz daelvn
Ex-estudiante de Filosofía UCM. Escritore, webdev.

@ekhineo Madrid, Spain

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@ibarrae
Esteban Ibarra ibarrae
Hi, my name is Esteban Ibarra from Quito - Ecuador. Let compilers save your code

Quito, Ecuador

@stedolan
Stephen Dolan stedolan
@jpvillaisaza
Juan Pedro Villa Isaza jpvillaisaza
Software developer passionate about functional programming (whatever that means)

@stackbuilders El Retiro, Colombia

@sestrella
Sebastián Estrella sestrella
Senior Tech Leader | Head of DevOps | Functional Programmer

@stackbuilders Quito, Ecuador

@hwayne
Hillel Wayne hwayne

Chicago

@mrkkrp
Mark Karpov mrkkrp
Software engineer at @tweag

@tweag Château-Thierry, France

@Maitgon
Maitgon Maitgon

Universidad Complutense de Madrid Madrid

@0xddom
foldr 0xddom
CS researcher and software engineer

Madrid

@ChevyRay
Chevy Ray Johnston ChevyRay
I'm a video game programmer, designer, artist, and writer. Creator of Ikenfell: http://ikenfell.com

Happy Ray Games LTD. Vancouver, BC, Canada

@whiteh0le
Whitehole whiteh0le
@manuelmontenegro
Manuel Montenegro manuelmontenegro

Universidad Complutense de Madrid UCM

@djurjo
Jurjo djurjo

@imdea-software

@serras
Alejandro Serrano serras
Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

@JetBrains Utrecht, Netherlands

@rockneurotiko
Rock Neurotiko rockneurotiko

FCTG Barcelona

@lynn
Lynn lynn

@SecureDNA Antwerp, Belgium

@cidoku
cidoku
@oscar-izval
Óscar Izquierdo Valentín oscar-izval

@stackbuilders Madrid

@pabloconde
Pablo Conde pabloconde

Madrid

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@devcexx
Roberto Guillén devcexx

Amazon

@Alfedi
Álvaro Ferrero Alfedi
I enjoy programming, but I'm not good at it.

Spain

@PKGaspi
Juan Gaspar García PKGaspi
Mega Man 2 is a great game.
@simonpj
Simon Peyton Jones simonpj

Epic Games

@dch907
dch907