Beluga

icon indicating a website link http://complogic.cs.mcgill.ca/beluga/

icon location McGill University icon location McGill's Complogic group developing the Beluga language

Results 2 repositories owned by Beluga

Beluga

180
Stars
16
Forks
Watchers

Contextual types meet mechanized metatheory!

verified publisher icon Beluga-lang

Meta

17
Stars
4
Forks
Watchers

Mechanizing Types and Programming Languages using Beluga

verified publisher icon Beluga-lang