Beluga (@Beluga-lang)
Guthub

Beluga-lang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    217
  • Global Org. Rank 38,696 (Top 13 %)
  • Registered over 9 years ago
  • Most used languages
    TeX
         33.3 %
    OCaml
         33.3 %
    Coq     33.3 %
  • Location 🇨🇦 Canada
  • Country Total Rank 3,492
  • Country Ranking
    Coq     1
    OCaml
         4
    TeX
         98

Top repositories

1

Beluga

Contextual types meet mechanized metatheory!
OCaml
184
star
2

Meta

Mechanizing Types and Programming Languages using Beluga
TeX
17
star
3

McLTT

A bottom-up approach to a verified implementation of MLTT
Coq
15
star