Skip to content
View cxandru's full-sized avatar
28 followers · 40 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report cxandru

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
@letac
letac
@cfend
Chiara Fend cfend

RPTU Kaiserslautern-Landau Kaiserslautern

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@amp12
Andrew Pitts amp12

University of Cambridge Cambridge, UK

@ezemtsov
Evgeny Zemtsov ezemtsov

Oslo

@spiceghello
Stefano Piceghello spiceghello

University of Twente Netherlands

@copumpkin
Daniel Peebles copumpkin

Washington

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@jespercockx
Jesper Cockx jespercockx

TU Delft

@nad
Nils Anders Danielsson nad
@JLimperg
Jannis Limperg JLimperg
Applied Scientist @ AWS

AWS Munich, Germany

@knisht
Konstantin Nisht knisht

JetBrains

@PietroSabelli
PietroSabelli
@whyvl
whyvl
@ezyang
Edward Z. Yang ezyang

New York, NY

@yoricksijsling
Yorick Sijsling yoricksijsling

Utrecht, The Netherlands

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@flupe
Lucas Escot flupe

TU Delft Den Haag, NL

@phijor
Philipp Joram phijor
@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Glasgow, UK

@Sean-Watters
Sean Watters Sean-Watters
PhD Student @ Mathematically Structured Programming group, University of Strathclyde.

University of Strathclyde Glasgow, UK

@slotThe
Tony Zorman slotThe
Postdoc in mathematics, Haskell and Emacs devotee, @xmonad maintainer. I like free software. More at gitlab/slotThe and codeberg/slotThe
@msuperdock
Matt Superdock msuperdock
@pigworker
Conor McBride pigworker

Glasgow

@rampion
Noah Luck Easterly rampion

Mercury Technologies

@sozoro
sozoro sozoro

Japan

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

Victoria, BC

@WorldSEnder
WorldSEnder
Rust aficionado and fan of semantics before programs. Maintainer @yewstack

Worldwide

@zyla
Maciej Bielecki zyla

Warsaw, Poland

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@ElvishJerricco
Will Fancher ElvishJerricco
@mcwitt
Matt Wittmann mcwitt

Berkeley, CA USA

@purcell
Steve Purcell purcell
I optimise software and human systems, and make them happier.

Ireland

@sergv
Sergey Vinokurov sergv
Making Haskell go faster

London, UK

@dnadales
Damian Nadales dnadales
I love to solve problems through software. I love to code solutions in Haskell. I love maintainable, correct, and robust software.

Eindhoven, The Netherlands

@Synthetica9
Patrick Hilhorst Synthetica9

@High-Voltage-Engineering Amersfoort, Netherlands

@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany

@tmcdonell
Trevor L. McDonell tmcdonell
@splintersuidman
Splinter Suidman splintersuidman
Haskell Software Engineer at Channable

@channable Utrecht