8000 alexanderlhicks (Alexander Hicks) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View alexanderlhicks's full-sized avatar
14 followers · 26 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report alexanderlhicks

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
@lattirust
lattirust lattirust
Lattice zero-knowledge/succinct arguments, and more
@teorth
teorth
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@native-rollups
NR Working Group native-rollups
@alex-ozdemir
Alex Ozdemir alex-ozdemir
@opencompl
opencompl
@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

@jackpot51
Jeremy Soller jackpot51
System76 Principal Engineer, Pop!_OS maintainer, and Redox OS BDFL, NOT LOOKING FOR WORK

System76 Colorado

@redox-os
Redox OS redox-os
Redox OS is a microkernel-based, complete and general-purpose operating system written in Rust created in 2015
@arkworks-rs
arkworks arkworks-rs
An ecosystem for developing and programming with zkSNARKs
@dtumad
Devon Tuma dtumad
Graduate Student at the University of Minnesota working on cryptography and formal verification.

University of Minnesota Minneapolis MN

@WizardOfMenlo
Giacomo Fenzi WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!

EPFL Italy

@quangvdao
Quang Dao quangvdao
PhD Student at Carnegie Mellon University. Interested in cryptography and formal verification

Pittsburgh, PA

@Veridise
8941 Veridise Veridise
Hardening Blockchain Security with Formal Methods
@crytic
Crytic crytic
Blockchain Security, by @trailofbits

New York, NY

@trailofbits
Trail of Bits trailofbits
More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks

New York, New York

@EasyCrypt
EasyCrypt EasyCrypt
@HEPLean
HEPLean
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@AsahiLinux
Asahi Linux AsahiLinux
Porting Linux to Apple Silicon Macs
@human-oriented
Human Orientated Proof Standard human-oriented
@RustCrypto
Rust Crypto RustCrypto
Cryptographic algorithms written in pure Rust
@isabelle-prover
Isabelle isabelle-prover
Isabelle is a generic proof assistant
@rust-lang
The Rust Programming Language rust-lang
@leanprover
Lean leanprover
Lean Prover
@rust-ml
Rust-ML rust-ml
0