Skip to content
View mariojppereira's full-sized avatar
42 followers · 95 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report mariojppereira

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
@olddeuteronomy
Old Deuteronomy olddeuteronomy

Emacsland

@caiodelgadonew
Caio Delgado caiodelgadonew
I am no Jedi

Maverick Derivatives Amsterdam - Netherlands

@vprevosto
Virgile Prevosto vprevosto
@joaomhmpereira
João Pereira joaomhmpereira
MSc in Computer Science and Engineering @ IST

Instituto Superior Técnico Lisbon

@RuiXavier
Rui Xavier RuiXavier
@ana-borges
Ana de Almeida Borges ana-borges
@mbbarbosa
Manuel Barbosa mbbarbosa

University of Porto (FCUP) and INESC TEC Porto

@pitag-ha
Sonja Heinze pitag-ha

Tarides Valencia

@fpb
Fernando Birra fpb
@costaseco
João Costa Seco costaseco
@daro-almeida
Diogo Almeida daro-almeida
MSc Computer Engineering Student

NOVA SST Seixal, Portugal

@ocurrent
OCurrent ocurrent
A workflow specification language in OCaml

Cambridge and Paris

@Lucccyo
Charlène_Gros Lucccyo

Tarides

@ionchirica
smk ionchirica
@xavierpinho
Xavier Pinho xavierpinho

Braga, Portugal

@pedromsrocha
Pedro Rocha pedromsrocha
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@git-amd
Artur Miguel Dias git-amd
@mrjazzybread
Tiago Soares mrjazzybread
@robbertkrebbers
Robbert Krebbers robbertkrebbers
Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris

Radboud University Nijmegen

@davidfsemedo
David Semedo davidfsemedo

Universidade NOVA de Lisboa

@DeVilhena-Paulo
Paulo Emílio de Vilhena DeVilhena-Paulo
@paulpatault
Paul Patault paulpatault
Migrating to Codeberg

France

@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@naussicaa
Stefania Dumbrava naussicaa

ENSIIE Paris, France

@kanigsson
Johannes Kanig kanigsson

@AdaCore Seoul, South Korea

@smolkaj
Steffen Smolka smolkaj

Google Bay Area

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@silene
Guillaume Melquiond silene
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@Octachron
Florian Angeletti Octachron

Inria Paris

@christinerose
Christine Rose christinerose
Technical Writer. Playwright. Author. Watercolorist. Pluviophile.

London / PDX

@Julow
Jules Aguillon Julow

@tarides France

@xldenis
Xavier Denis xldenis
formal verification hacker
@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

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

Formal Land Paris

@nobrakal
Alexandre Moine nobrakal

New York - USA

@jacekchrzaszcz
jacekchrzaszcz
@enieber
Enieber Cunha enieber
Functional Programing (Antifascista e Antirracista)

@fast-think Brazil

@jhjourdan
Jacques-Henri Jourdan jhjourdan

CNRS, LMF Paris

@art-w
art-w
@lpw25
Leo White lpw25

Jane Street

@victor-dumitrescu
Victor Dumitrescu victor-dumitrescu

Nomadic Labs Paris, France

@nickbetteridge
nickbetteridge
@talex5
Thomas Leonard talex5
@leon-gondelman
Léon Gondelman leon-gondelman
@Niols
Nicolas Jeannerod Niols

Paris

@MartinClochard
MartinClochard
@n-osborne
Nicolas Osborne n-osborne
Software Engineer at Tarides.

@tarides