Skip to content

@Beluga-lang Beluga

Change the repository type filter

All

    Repositories list

    4 repositories

    • McTT

      Public
      Building A Correct-By-Construction Proof Checkers For Type Theories
      Rocq Prover
      •
      MIT License
      •5•32•16•6•Updated Mar 6, 2026Mar 6, 2026

    • Beluga

      Public
      Contextual types meet mechanized metatheory!
      dependent-typesocamllf
      dependent-typesocamllfbelugahoas
      OCaml
      •
      GNU General Public License v3.0
      •21•210•66•2•Updated Sep 30, 2025Sep 30, 2025

    • Meta

      Public
      Mechanizing Types and Programming Languages using Beluga
      TeX
      •3•21•2•0•Updated May 29, 2020May 29, 2020

    • opam-repository

      Public
      Main public package repository for OPAM, the source package manager of OCaml.
      OCaml
      •
      Creative Commons Zero v1.0 Universal
      •1.2k•1•0•0•Updated Jul 27, 2015Jul 27, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.