UCL-CS PPLV (@UCL-PPLV)
Guthub

UCL-PPLV

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Org. Rank 188,598 (Top 60 %)
  • Registered about 9 years ago
  • Most used languages
    Java
         25.0 %
    C++
         25.0 %
    Rust
         25.0 %
    Coq     25.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 37,997
  • Country Ranking
    Coq     26
    Rust
         605
    Java
         6,383
    C++
         6,918

Top repositories

1

PROGNOSIS

Code and resources for model learning of network protocol implementations
Rust
14
star
2

PROGNOSIS-learner

Java
2
star
3

byzantine-reading

Reading group on Byzantine Distributed Systems
1
star
4

GCTransformations

Certified implementation of a parametrized framework for concurrent garbage collectors
Coq
1
star
5

FAIC

Function Analysis In Codebases
C++
1
star