Skip to content
View fredefox's full-sized avatar
🦊
🦊

Block or report fredefox

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@fkj
Frederik Krogsdal Jacobsen fkj

Criipto Copenhagen, Denmark

@mbrcknl
Matthew Brecknell mbrcknl
Working on the formal verification of the @seL4 microkernel.

@seL4 @Kry10-NZ Sydney, Australia

@sheaf
sheaf sheaf
Cohomology enthusiast. I've seen rings you people wouldn't believe.
@annard
Annard Brouwer annard
Annard Brouwer has been traveling the world while working on- and offsite in different industries. He has been a strong believer in secure solutions that last.

Proud agent of W.I.S.D.O.M. (We is Seriously Demented Old Men) Earth

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

Vancouver, BC

@mrBliss
Thomas Winant mrBliss

HubSpot Hoeilaart, Belgium

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@webyrd
William E. Byrd webyrd

University of Alabama at Birmingham Cambridge, MA

@robrix
Rob Rix robrix
Colouring outside the lines.
@Tritlo
Matthías Páll Gissurarson Tritlo
uncertified haskell engineer

DPella AB Gothenburg, Sweden

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@bjarkevad
Bjarke Vad Andersen bjarkevad

@wawafertility Copenhagen, Denmark

@rand00
rand00
Bringing back cinéma pur

Copenhagen, Denmark

@schell
Schell Carl Scivally schell
Building tiny pieces of the coming mechanocracy.

@NarrativeApp Nelson, New Zealand

@edsko
Edsko de Vries edsko

Well-Typed Netherlands

@gallais
G. Allais gallais

Glasgow, Scotland

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@sharkdp
David Peter sharkdp

@astral-sh Stuttgart, Germany

@valmdz
Latina Valentina valmdz
tap tap tapity tap

Copenhagen, DK

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@JoBCB
JoChicau JoBCB
is a graphic and web designer, researcher and lecturer - with a background in dance.

PT/UK

@sstucki
Sandro Stucki sstucki

Gothenburg, Sweden

@Zalastax
Pierre Krafft Zalastax

Gothenburg, Sweden

@axeldavid
Axel Davíð Ingólfsson axeldavid

Koenigsegg Automotive AB Helsingborg, Sweden

@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@LasseD
Lasse Deleuran LasseD

LEGO Systems Billund, Denmark

@LarsVonQualen
Lars von Qualen LarsVonQualen
Founder & CEO LVQ Consult Check out https://gitlab.com/lvq-consult for other projects!

LVQ Consult Horsens, Denmark

@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@sshine
Simon Shine sshine
Enthusiastic about Haskell, Rust, NixOS
@letterformagic
letterformagic letterformagic

Letterforms & Magic London

@akonring
Anders Konring akonring

@EspressoSystems Denmark