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
@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@seckinyasar
Seckin Yasar seckinyasar

@Metakorteks Turkey

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@PedroGasparinho
PedroGasparinho
@valoran-M
Valoran valoran-M
Ocaml <3
@chipnertkj
Piotr Wyszomirski chipnertkj
Software Developer, Musician

Poland

@JoaoNini75
João Nini JoaoNini75
Finalist of the master's degree and graduated in Computer Science/Engineering at FCT - UNL.

FCT - UNL Portugal

@Lucccyo
Charlène_Gros Lucccyo

Tarides

@vladbug
vladys vladbug
@ionchirica
smk ionchirica
@xavierpinho
Xavier Pinho xavierpinho

Braga, Portugal

@pedromsrocha
Pedro Rocha pedromsrocha
@DeVilhena-Paulo
Paulo Emílio de Vilhena DeVilhena-Paulo
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@ghuysmans
ghuysmans

Belgium

@esin
Andrey Esin esin
Linux Administrator, DevOps Engineer and Go Developer
@diogit
Diogo Silvério diogit
Another software developer

Universidade NOVA de Lisboa Lisbon

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

LASIGE, University of Lisbon Lisboa, Portugal

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

Formal Land Paris

@sreeja
Sreeja S Nair sreeja

DittoLive Inc Paris

@ahmadsafirun
ahmadsafirun
@metahackerjpdevc
Jean-Philippe Laflamme metahackerjpdevc
Hacker Quebec IN SEARCH OF INCREDIBLE @Intelligence-Canada-X @blockchainsrealjp

@Intelligence-Canada-X @Intelligence-Canada-X Canada

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

@tarides

@David-Antunes
David-Antunes David-Antunes
24 yo | Aspiring Kubernetes software Engineer ||| Roses are Red, Violets are blue, I like containers, So should you.

FCT - Universidade Nova de Lisboa Lisbon, Portugal

@easimonenko
Evgeny Simonenko easimonenko
GNU Emacs Enthusiast.

ITMO University Russia

@peter-tmc
Pedro Coelho peter-tmc

FCT-UNL

@iguerNL
Mohamed Iguernlala iguerNL
Co-Founder at Functori. Blockchains, Formal Methods, OCaml Dev

Functori SAS Paris

@rbonichon
Richard Bonichon rbonichon
@Jmmo-Gomes
João Gomes Jmmo-Gomes

FCT-UNL Viseu, Portugal

@srelvas
Sara Relvas srelvas
computer science and engineering student at Nova School of Science and Technology.

FCT NOVA Portugal

@Manthel
Manuel Soares Manthel

FCT-UNL

@rodrigocfelix
Rodrigo Félix rodrigocfelix
“Before software should be reusable, it should be usable.” — Ralph Johnson

FCT UNL

@BlasterJoni
João Arvana BlasterJoni

CompSci MSc Graduate @ FCT UNL Setúbal, Portugal

@Diogo-Paulico
Diogo Paulico Diogo-Paulico
"Um bom truque, que às vezes funciona, é adormecer a pensar no problema. Por vezes, no dia seguinte acorda-se com uma ideia genial na cabeça..." - AMD

FCT - Universidade Nova de Lisboa Lisbon, Portugal

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@arjunbazinga
Arjun Srivastava arjunbazinga
new account: @arjunsriva

@woven-planet Tokyo

@cameleo
cameleo
@Alvaro-Santos
Álvaro Santos Alvaro-Santos

Portugal

@backtracking
Jean-Christophe Filliatre backtracking
@andreygalassi
Andrey Galassi Marques Rego andreygalassi

Getnet Osasco, SP, Brazil