Contextual types meet mechanized metatheory!
-
Updated
Sep 30, 2025 - OCaml
Contextual types meet mechanized metatheory!
Easily convert simple text files into full-fledged Beluga-style Discord conversation videos with a plethora of text formatting options, sound effects, and much more customisation for free within seconds!
An esoteric programming language based on Turing Machines
Easily convert simple text files into full-fledged Beluga-style Discord conversation videos with a plethora of text formatting options, sound effects, and much more customisation for free within seconds!
lie detector that detects all the lies you ever said to your momma
A light Docker Compose configuration for WordPress plugin and theme development.
How to build Caffe on Compute Canada servers. (Beluga and Cedar)
Final Project for COMP 527: Extending First-Order Logic with Lists and Recursion.
🐋 A Python library to track the Airbus BelugaXL flights in real time using FlightRadar24
To associate your repository with the beluga topic, visit your repo's landing page and select "manage topics."