beluga

Star

Here are 9 public repositories matching this topic...

Beluga-lang / Beluga

Star

Contextual types meet mechanized metatheory!

dependent-types ocaml lf beluga hoas

Updated Mar 9, 2023
OCaml

OhEmmaGee / belugang-appeals

Star

BeluGANG Ban Appeal Application

discord bans beluga

Updated Dec 29, 2021
JavaScript

belugang-devs / tickets-bot

Star

Providing support for everything except fixing your toaster, forked from "discord-tickets/bot"

tickets beluga

Updated Jan 14, 2022
JavaScript

amoazeni75 / build-caffe-compute-canada

Star

How to build Caffe on Compute Canada servers. (Beluga and Cedar)

build caffe caffe-framework cedar beluga compute-canada

Updated May 21, 2021

admturner / beluga

Star

A light Docker Compose configuration for WordPress plugin and theme development.

docker wordpress wordpress-development beluga

Updated Sep 17, 2020
Shell

aarikpokras / heck

Star

A delightful program that lets you heck anyone! (Not actually)

heck beluga

Updated Feb 12, 2023
Shell

lcguerrerocovo / autoscaling-forecast

Star

beluga

Updated Jul 26, 2018
Jupyter Notebook

belugang-devs / lie-detector

Star

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

belugang-devs / ban-appeals

Star

You are behaving, the duck is back, forked from "sylveon/discord-ban-appeals"

bans beluga

Updated Jan 5, 2022
JavaScript

Improve this page

Add a description, image, and links to the beluga topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the beluga topic, visit your repo's landing page and select "manage topics."

Learn more