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

Skip to content
View Blaisorblade's full-sized avatar
205 followers · 192 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Organizations

@inc-lc

Block or report Blaisorblade

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
@wosnerdwarriors
wosnerdwarriors
@bluerock-io
BlueRock Security bluerock-io

United States of America

@gstew5
Gordon Stewart gstew5

BedRock Systems, Inc. Boston, MA

@4e554c4c
Calvin Lee 4e554c4c
i care about linux desktop protocols, open social media, programming languages and mathematics.

IRC

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@sacerdot
Claudio Sacerdoti Coen sacerdot

Alma Mater Studiorum - Universitá di Bologna Bologna (Italy)

@pascal-cuoq
Pascal Cuoq pascal-cuoq

TrustInSoft

@stedolan
Stephen Dolan stedolan
@swasey
David Swasey swasey
@rlepigre
Rodolphe Lepigre rlepigre

Saarbrücken

@bedrocksystems
BlueRock Security, Inc bedrocksystems
a.k.a BedRock Systems, Inc

United States of America

@katef
Katherine katef

Scotland

@vbgl
Vincent Laporte vbgl
@tz18
Ramon Rakow tz18

@googlers Sunnyvale

@Franciman
Francesco Magliocca Franciman

Valle di Maddaloni , CE

@scaup
scaup
@ocecaco
Daniël Louwrink ocecaco

Amsterdam

@keikonakata
Keiko Nakata keikonakata
Programming, constructive mathematics and topology, which are all beautifully related.
@PeterSewell
Peter Sewell PeterSewell

University of Cambridge UK

@jonleivent
Jonathan Leivent jonleivent
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@silene
Guillaume Melquiond silene
@vsiles
Vincent vsiles

@helsing France

@jhaag
Jasper Haag jhaag
Formal Methods practitioner interested in leveraging AI for verified code generation.

SkyLabs AI Boston, Massachusetts

@co-dan
Daniel Frumin co-dan

Groningen

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@pfohjo
Jonas Pfoh pfohjo
Builder of things, Explorer of worlds

Germany

@JasonGross
Jason Gross JasonGross

Theorem San Francisco, California, United States

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@evertedsphere
Soham Chowdhury evertedsphere

Paris

@bracevac
Oliver Bračevac bracevac
Problems worthy of attack prove their worth by hitting back. -- Piet Hein

Scala Core Developer @ EPFL

@tibbe
Johan Tibell tibbe

Benetics AG Zurich, Switzerland

@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@winitzki
Sergei Winitzki winitzki
Theoretical physicist turned software engineer, passionate for functional programming, applied type theory, and declarative domain-specific languages

Neuilly-sur-Seine, France

@umazalakain
Uma Zalakain umazalakain

Glasgow, Scotland

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@joroKr21
Georgi Krastev joroKr21
Boilermaker

Coralogix Berlin

@hmemcpy
Igal Tabachnik hmemcpy

Israel

@vil1
Valentin Kasas vil1

Xebia between a chair and a keyboard

@Gankra
Aria Desires Gankra

axo.dev

@pythonesque
Joshua Yanovski pythonesque

Lanetix San Francisco, CA

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@julesjacobs
julesjacobs
@fsestini
Filippo Sestini fsestini

Arm Ltd. Cambridge, England

@ticofab
Fabio Tiriticco ticofab
Software Developer and bycicle tourer 🚴🏻‍♂️ Organizer of the Reactive Amsterdam meetup. Trying to practice allyship.

Fabway, ticofab.io Amsterdam, The Netherlands

@robbertkrebbers
Robbert Krebbers robbertkrebbers
Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris

Radboud University Nijmegen

@ajrouvoet
Arjen Jonathan ajrouvoet
@Tuplanolla
Sampsa Kiiskinen Tuplanolla
I am a doctoral student working on computer science and computational physics.

University of Jyväskylä Finland

@aweinstock314
Avi Weinstock aweinstock314