Skip to content
View lou1306's full-sized avatar
19 followers · 49 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report lou1306

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
@elder-plinius
pliny elder-plinius
latent space liberator; steward of BASI !insert_divider: •-•-•-•-<|L/O\V/E\/P\L/I\N/Y|>-•-•-•-• {GODMODE:ENABLED}

Pliny the Prompter

@akastrin
Andrej Kastrin akastrin

University of Ljubljana Ljubljana, Slovenia

@santolucito
Mark Santolucito santolucito
Most work these days happens @Barnard-PL-Labs

NYC

@SYNTCOMP
Reactive Synthesis Competition SYNTCOMP
@gaperez64
Guillermo A. Perez gaperez64
I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.

University of Antwerp Antwerp, Belgium

@wallabag
wallabag wallabag
A self hostable application for saving web pages, freely.

France

@adl
Alexandre Duret-Lutz adl

Paris

@phheim
Philippe Heim phheim
I am a Ph.D. student in computer science in the area of formal methods. I focus on practical algorithms and tools for synthesizing infinite-state systems.

CISPA Helmholtz Center for Information Security Germany

@UniVE-SSV
SSV @ Ca' Foscari UniVE-SSV
Software and System Verification group @ Ca' Foscari University of Venice, Italy
@merendamattia
Mattia merendamattia
Computer Science & Blockchain's Master Student at @ Università degli Studi di Parma (Unipr.it)

University of Parma, IT Italy

@wasim-essbai
Wasim Essbai wasim-essbai
@picosh
pico.sh picosh

United States of America

@henrikvalter
henrikvalter
@lqchen
Liqian Chen lqchen
@eliben
Eli Bendersky eliben

@google California

@VincenzoArceri
Vincenzo VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma

University of Parma Parma

@openworm
OpenWorm openworm
An open-source project dedicated to creating a virtual C. elegans nematode in a computer.

International

@riverscuomo
Rivers Cuomo riverscuomo
Rocking the code, coding the rock. Flutter, Python, Google Apps Script, Flask. https://discord.gg/mr-rivers-neighborhood

weezer Los Angeles

@dSynMa
dSynMa
Repository for the dSynMa ERC project.

University of Gothenborg

@WARA-Robotics
WARA Robotics WARA-Robotics

Sweden

@bnediction
BNediction bnediction
Research project on Predictive Boolean Network Ensembles funded by French ANR (ANR-20-CE45-0001)
@michele-loreti
Michele Loreti michele-loreti

Università di Camerino Italy

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@Uwimbabazi
Uwimbabazi
@shaunazzopardi
Shaun Azzopardi shaunazzopardi
@lazkany
Yehia Abd Alrahman lazkany
Associate Professor at Gothenburg University, Gothenburg, Sweden.

Gothenburg University Gothenburg, Sweden

@realworldocaml
Real World OCaml realworldocaml

Cambridge, New York and Mountain View

@model-checking
model-checking
@tree-sitter
tree-sitter
@Z3Prover
Z3 Theorem Prover Z3Prover
@fsprojects
F# Community Project Incubation Space fsprojects

Worldwide

@RenanGreca
Renan Greca RenanGreca
🇧🇷 🇺🇸 🇮🇹 PhD in computer science, software engineer.

Canonical Rome, Italy

@tandn
tandn

Planet Earth

@antoinemine
Antoine Miné antoinemine

Sorbonne Université France

@vladkinoman
Vlad Beklenyshchev vladkinoman
Applied math, data science 🇺🇦

Dnipro, Ukraine

@wintered
Dominik Winterer wintered
Incoming Lecturer at University of Manchester. Formal Methods Engineering

University of Manchester Manchester

@dsyme
Don Syme dsyme
Principal Researcher, Visiting Professor
@antodr
antodr antodr

Italy

@gvieralopez
Gustavo Viera López gvieralopez

Gran Sasso Science Institute L'Aquila, Italy

@ahsalam
Ahmed Abdelsalam ahsalam

Cisco Systems Italy

@brammool
Bram Moolenaar brammool
@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy

@foone
Foone Turing foone
Hardware / software necromancer, collector of Weird Stuff, maker of Death Generators.

San Leandro, CA

@LeaVerou
Lea Verou LeaVerou
CSS WG Invited Expert, W3C TAG alumni. Started PrismJS, Color.js and over 50 other open source projects. PhD in usability from MIT CSAIL

Cambridge, MA

@andreadistefano
Andrea Di Stefano andreadistefano

L'Aquila, Italy

@ioemilio
Emilio Cruciani ioemilio
Ph.D. in Computer Science. Assistant Professor.

European University of Rome Rome, Italy

@caterinaurban
Caterina Urban caterinaurban

Inria & École Normale Supérieure Paris, France

@AlessandroBalestrucci
AlessandroBalestrucci
@alxrcs
Alex Coto alxrcs
Data Engineer @ SpazioDati. Data Science and Machine Learning enthusiast.

SpazioDati S.R.L. Trento