Skip to content
View ligurio's full-sized avatar
💥
💥
383 followers · 493 following

Organizations

@tarantool @luafun @sqaunderhood

Block or report ligurio

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
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@delamonpansie
Yury Vostrikov delamonpansie

Spain

@lkl
Linux kernel library project lkl
@corsix
Peter Cawley corsix

Scotland

@ClickHouse
ClickHouse ClickHouse

United States of America

@coq
The Coq proof assistant was the former name of the Rocq Prover coq
@qed-solver
qed-solver
@OpenJML
OpenJML OpenJML
@Contract-LIB
Contract-LIB
@anishathalye
Anish Athalye anishathalye

@cleanlab San Francisco, CA

@vim
Vim - the text editor vim
The github base for core Vim
@GrapheneOS
GrapheneOS GrapheneOS
Security and privacy focused mobile OS with Android app compatibility. We focus on developing substantial privacy and security improvements.

Toronto, Ontario, Canada

@septract
Mike Dodds septract
Half a nitwit.

Galois, Inc Portland, OR

@cfallin
Chris Fallin cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.

F5 Sunnyvale, CA, USA

@joeycastillo
Joey Castillo joeycastillo
purveyor of Oddly Specific Objects

New York, NY

@askamkin
Alexander Kamkin askamkin
Leading Researcher @ ISPRAS

Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow, Russia

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@monadius
Alexey Solovyev monadius
@antonio-morales
Antonio Morales antonio-morales
@moritzbuhl
Moritz Buhl moritzbuhl
Student at TU Munich. Working student at Fraunhofer AISEC.

Munich

@AlgebraicWolf
Aleksei Volkov AlgebraicWolf
Student | Engineering & Computer Science

Moscow

@nayuki
Nayuki nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.

Project Nayuki Toronto, Ontario, Canada

@osandov
Omar Sandoval osandov

@facebook Seattle, WA

@HypothesisWorks
Hypothesis HypothesisWorks
Hypothesis: Test faster, fix more
@ocaml-wasm
ocaml-wasm
@mkokryashkin
Maxim Kokryashkin mkokryashkin
@heidihoward
Heidi Howard heidihoward
Researcher in distributed systems

@Microsoft Cambridge, UK

@cryspen
Cryspen cryspen
High Assurance Software & Tools

France

@mdocguard
Ruslan Ermilov mdocguard
nginx, FreeBSD, Angie

Web Server LLC Russia

@bitcoin-core
Bitcoin Core bitcoin-core
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@chqrlie
Charlie Gordon chqrlie

Paris

@lorin
Lorin Hochstein lorin
Software engineer. Student of complex systems failures, resilience engineering, cognitive systems engineering.

San Jose, CA

@bellard
bellard
@botovq
Theo Buehler botovq
@sslotin
Sergey Slotin sslotin
@tekknolagi
Max Bernstein tekknolagi
Biking around...

@Shopify Boston, MA

@pimvanpelt
Pim van Pelt pimvanpelt

Zurich, Switzerland

@theoremprover-museum
theoremprover-museum
@jdkato
Joseph Kato jdkato

@errata-ai

@ValdikSS
ValdikSS ValdikSS

ProstoVPN.org Russia

@jonathanmetzman
jonathanmetzman
Security engineer working on open source and Chrome security

Google

@CertiKOS
CertiKOS
@mlarkin2015
Mike Larkin mlarkin2015
@openbsd
OpenBSD openbsd
OpenBSD cvs repository conversions for public consumption.

Calgary, AB, Canada

@drh
Dave Hanson drh

Sandy, UT

@MiSTer-devel
MiSTer-devel
@andreafioraldi
Andrea Fioraldi andreafioraldi
Writing fuzzers to find assertion errors and null ptr derefs. Trying to do a Kamehameha since I was 4.

Antibes, France

@OpenIPC
OpenIPC OpenIPC
Alternative IP Camera firmware from an open community

Italy

@akopytov
Alexey Kopytov akopytov

Moscow, Russia