Popular repositories Loading

1. global-- global-- Public

   A crude, probably broken parser for detecting global variables in C++ code

   Scala

2. mlscript-core-language mlscript-core-language Public

   Forked from hkust-taco/mlstruct

   Codebase for the paper "MLscript: Principal Type Inference in a Boolean Algebra of Structural Types"

   Scala

3. docker-ftps docker-ftps Public

   Forked from bfren/docker-ftps

   Docker FTPS image.

   Shell

4. chat-downloader chat-downloader Public

   Forked from xenova/chat-downloader

   A simple tool used to retrieve chat messages from livestreams, videos, clips and past broadcasts. No authentication needed!

   Python

5. mlscript mlscript Public

   Forked from hkust-taco/mlscript

   The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

   Scala