Contextual types meet mechanized metatheory!
-
Updated
Jul 29, 2024 - OCaml
#
beluga
Here are 17 public repositories matching this topic...
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!
python youtube video generator ffmpeg script discord discord-bot python3 video-generator beluga video-maker binary-bytes
-
Updated
Feb 27, 2025 - Python
An esoteric programming language based on Turing Machines
automata fsm cpp language-modeling turing-machine automaton turing-machine-simulator esoteric-programming-language regex-engine beluga turing-machine-executor
-
Updated
Apr 28, 2024 - C++
Ezily convert a text file in to a Beluga-like for FREEEE now in DISCORD!
-
Updated
Aug 2, 2023 - JavaScript
Beluga is a multi-tool based on cybersecurity, pentesting and hacking, with tools for discord, OSINT, scanner and network-scanner.
windows macos swift osint email discord cybersecurity ip pentesting token beluga token-grab multi-tools multitools
-
Updated
Apr 17, 2025
How to build Caffe on Compute Canada servers. (Beluga and Cedar)
-
Updated
May 21, 2021
A light Docker Compose configuration for WordPress plugin and theme development.
-
Updated
Sep 17, 2020 - Shell
lie detector that detects all the lies you ever said to your momma
nodejs javascript api bot google discord discord-bot perspective discordbot googleapis bitch perspectiveapi beluga belugang
-
Updated
Jan 29, 2022 - JavaScript
-
Updated
Jul 26, 2018 - Jupyter Notebook
Improve this page
Add a description, image, and links to the beluga topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the beluga topic, visit your repo's landing page and select "manage topics."