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

Skip to content
View Blaisorblade's full-sized avatar

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
@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)

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

United States of America

@tz18
Ramon Rakow tz18

@googlers Sunnyvale

@Franciman
Francesco Magliocca Franciman

Valle di Maddaloni , CE

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

University of Cambridge UK

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@vsiles
Vincent vsiles

@helsing France

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

SkyLabs AI Boston, Massachusetts

@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

@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

@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

@vil1
Valentin Kasas vil1

Xebia between a chair and a keyboard

@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

@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

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

University of Jyväskylä Finland