Skip to content
@Beluga-lang

Beluga

McGill's Complogic group developing the Beluga language

Popular repositories Loading

  1. Beluga Beluga Public

    Contextual types meet mechanized metatheory!

    OCaml 213 21

  2. McTT McTT Public

    Building A Correct-By-Construction Proof Checkers For Type Theories

    Rocq Prover 36 6

  3. Meta Meta Public

    Mechanizing Types and Programming Languages using Beluga

    TeX 24 3

  4. opam-repository opam-repository Public

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 2

Repositories

Showing 4 of 4 repositories
  • McTT Public

    Building A Correct-By-Construction Proof Checkers For Type Theories

    Beluga-lang/McTT's past year of commit activity
    Rocq Prover 36 MIT 6 14 (1 issue needs help) 2 Updated Aug 5, 2026
  • Beluga Public

    Contextual types meet mechanized metatheory!

    Beluga-lang/Beluga's past year of commit activity
    OCaml 213 GPL-3.0 21 67 2 Updated Sep 30, 2025
  • Meta Public

    Mechanizing Types and Programming Languages using Beluga

    Beluga-lang/Meta's past year of commit activity
    TeX 24 3 2 0 Updated May 29, 2020
  • opam-repository Public Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    Beluga-lang/opam-repository's past year of commit activity
    OCaml 2 CC0-1.0 1,334 0 0 Updated Jul 27, 2015

Top languages

Loading…

Most used topics

Loading…