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 206 20

  2. McTT McTT Public

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

    Rocq Prover 31 4

  3. Meta Meta Public

    Mechanizing Types and Programming Languages using Beluga

    TeX 21 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 1

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 31 MIT 4 16 (1 issue needs help) 2 Updated Jan 15, 2026
  • Beluga Public

    Contextual types meet mechanized metatheory!

    Beluga-lang/Beluga’s past year of commit activity
    OCaml 206 GPL-3.0 20 66 2 Updated Sep 30, 2025
  • Meta Public

    Mechanizing Types and Programming Languages using Beluga

    Beluga-lang/Meta’s past year of commit activity
    TeX 21 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 1 CC0-1.0 1,257 0 0 Updated Jul 27, 2015

Top languages

Loading…

Most used topics

Loading…