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

  2. Meta Meta Public

    Mechanizing Types and Programming Languages using Beluga

    TeX 18 4

  3. McTT McTT Public

    A bottom-up approach to a verified implementation of MLTT

    Coq 17 2

  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

    A bottom-up approach to a verified implementation of MLTT

    Coq 17 MIT 2 17 1 Updated Feb 21, 2025
  • Beluga Public

    Contextual types meet mechanized metatheory!

    OCaml 187 GPL-3.0 16 65 0 Updated Jul 29, 2024
  • Meta Public

    Mechanizing Types and Programming Languages using Beluga

    TeX 18 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.

    OCaml 1 CC0-1.0 1,187 0 0 Updated Jul 27, 2015

Top languages

Loading…

Most used topics

Loading…