Skip to content
View ligurio's full-sized avatar
💥
💥
396 followers · 488 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.

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
@ornicar
Thibault Duplessis ornicar
Maker of lichess.org, a gay hippie communist chess server for drug fueled transgender atheists.

lichess.org France

@SMT-LIB
The SMT-LIB Initiative SMT-LIB
@stapelberg
Michael Stapelberg stapelberg

Zürich, Switzerland

@vktechdev
RnD Team vktechdev
@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

@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
@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
@sslotin
Sergey Slotin sslotin
@pimvanpelt
Pim van Pelt pimvanpelt

Zurich, Switzerland

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

@errata-ai, @graph-media

@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