8000 ashandoak (Ashley Blacquiere) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ashandoak's full-sized avatar
7 followers · 24 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Organizations

@leanprover

Block or report ashandoak

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

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@exercism
Exercism exercism
@oliverdain
Oliver Dain oliverdain
@leenephi
Lee Smithson leenephi
Senior Software Engineer @DnDBeyond

@DnDBeyond Huntsville, AL

@JoeyEremondi
Joey Eremondi JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.

University of Regina Regina, Saskatchewan, Canada

@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD UMD

@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@arthurpaulino
Arthur Paulino arthurpaulino
I'm a computer scientist with many interests

Argument Computer Corporation Brazil

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@ThePrimeagen
ThePrimeagen ThePrimeagen

CEO Of TheStartup 9th Ring, Vim

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Principal Research Software Engineer at Lean FRO Portland, OR

@AllenDowney
Allen Downey AllenDowney
Principal Data Scientist at PyMC Labs, professor emeritus at Olin College, author of Think Python, Think Bayes, Think Stats, Probably Overthinking It.

PyMC Labs Needham, MA, USA

@patrikja
Patrik Jansson patrikja

Chalmers University of Technology Göteborg, Sweden

@aripiprazole
gabrielle oliveira aripiprazole
atypical antipsychotic (as a software engineer)

@cloudwalk são paulo, brasil

@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@RustCrypto
Rust Crypto RustCrypto
Cryptographic algorithms written in pure Rust
@chaoss
CHAOSS chaoss
@chris-geelhoed
Chris Geelhoed chris-geelhoed
Software developer

@wearebraid Vancouver Island, Canada

@cmadland
Colin Madland cmadland
PhD Candidate at University of Victoria studying assessment in higher education.
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@torch2424
Aaron Turner torch2424
(On Haitus from Open Source. Reach out over e-mail 😄 ) DevRel / Developer doing WebAssembly, JavaScript, and Rust

Oceanfront Online Long Beach, CA

0