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 180 16

  2. Meta Meta Public

    Mechanizing Types and Programming Languages using Beluga

    TeX 17 4

  3. McLTT McLTT Public

    A bottom-up approach to a verified implementation of MLTT

    Coq 5 1

  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
  • McLTT Public

    A bottom-up approach to a verified implementation of MLTT

    Beluga-lang/McLTT’s past year of commit activity
    Coq 5 1 8 2 Updated Jun 28, 2024
  • Beluga Public

    Contextual types meet mechanized metatheory!

    Beluga-lang/Beluga’s past year of commit activity
    OCaml 180 GPL-3.0 16 66 0 Updated May 8, 2024
  • Meta Public

    Mechanizing Types and Programming Languages using Beluga

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

Top languages

Loading…

Most used topics

Loading…