PLEIAD (@pleiad)
Guthub

pleiad

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Org. Rank 99,830 (Top 32 %)
  • Registered over 11 years ago
  • Most used languages
    Coq     25.0 %
    Java
         25.0 %
    OCaml
         25.0 %
    Racket
         25.0 %
  • Location 🇨🇱 Chile
  • Country Total Rank 619
  • Country Ranking
    Coq     1
    OCaml
         3
    Racket
         3
    Java
         164

Top repositories

1

Refinements

Experiments in formalizing refinement type systems in Coq
Coq
17
star
2

play

Variations on #lang plai
Racket
8
star
3

Ghosts

Java
3
star
4

BBCTester

Black Box Compiler Tester
OCaml
1
star