Contextual types meet mechanized metatheory!
-
Updated
Jul 29, 2024 - OCaml
Contextual types meet mechanized metatheory!
Easily convert a text file into a Beluga-like video for FREEEEE! Discord bot coming soon!
An esoteric programming language based on Turing Machines
Ezily convert a text file in to a Beluga-like for FREEEE now in DISCORD!
How to build Caffe on Compute Canada servers. (Beluga and Cedar)
A light Docker Compose configuration for WordPress plugin and theme development.
lie detector that detects all the lies you ever said to your momma
Add a description, image, and links to the beluga topic page so that developers can more easily learn about it.
To associate your repository with the beluga topic, visit your repo's landing page and select "manage topics."