João Pereira (@jcp19)
github

jcp19

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    50
  • Global Rank 341,187 (Top 12 %)
  • Followers 121
  • Following 191
  • Registered almost 11 years ago
  • Most used languages
    Go
         28.6 %
    Java
         28.6 %
    Arduino     14.3 %
    Coq     14.3 %
    Shell
         14.3 %
  • Location 🇵🇹 Portugal
  • Country Total Rank 1,133
  • Country Ranking
    Coq     3
    Arduino     42
    Go
         96
    Java
         183
    Shell
         538

Top repositories

1

SPIDER

Automated data race detection from a distributed trace via SMT constraint solving
Java
16
star
2

oldVerifiedSCION

A verified version of SCION's go source code
Go
8
star
3

laop_coq

Trying to prove the Linear Algebra of Programming Properties (LAOP) instantiated for the indutive matrix definition provided by the laop library for Haskell.
Coq
3
star
4

jcp19

2
star
5

micro-benchmarks

Fork of minha-benchmarks, a suit of tests for the MINHA framework
Java
2
star
6

owncloud_ansible

ownCloud network deployment
Shell
1
star
7

zh_gophers_gobra

Slide deck and examples from my talk on Gobra @ Zürich Gophers, 26.10.2022
Go
1
star
8

robot_festival_2014

Code made in high school for my Robotic's team, to participate in National Festival of Robotics 2014
Arduino
1
star