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 204 19

  2. McTT McTT Public

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

    Rocq Prover 29 2

  3. Meta Meta Public

    Mechanizing Types and Programming Languages using Beluga

    TeX 21 4

  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 29 MIT 2 16 (1 issue needs help) 2 Updated Dec 17, 2025
  • Beluga Public

    Contextual types meet mechanized metatheory!

    Beluga-lang/Beluga’s past year of commit activity
    OCaml 204 GPL-3.0 19 66 1 Updated Sep 30, 2025
  • Meta Public

    Mechanizing Types and Programming Languages using Beluga

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

Top languages

Loading…

Most used topics

Loading…