ThatsJustCheesy

Ian Gregory's starred repositories

rclone

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

Language:GoMIT44973 576 5354

astro

The web framework for content-driven websites. ⭐️ Star to support our work!

Language:TypeScriptNOASSERTION44004 193 4383

hyperfine

A command-line benchmarking tool

Language:RustApache-2.020744 90 244

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Language:RubyBSD-2-Clause20682 320 6454

ruffle

A Flash Player emulator written in Rust

Language:RustNOASSERTION15053 158 10498

bootswatch

Themes for Bootstrap

Language:JavaScriptMIT14483 482 913

WingetUI

WingetUI: The Graphical Interface for your package managers. Could be terribly described as a package manager manager to manage your package managers

Language:C#MIT10186 70 1418

probot

🤖 A framework for building GitHub Apps to automate and improve your workflow

Language:TypeScriptISC8816 120 751

Cemu

Cemu - Wii U emulator

Language:C++MPL-2.06599 107 713

Obtainium

Get Android app updates straight from the source.

Language:DartGPL-3.05870 59 1070

ravynos

A BSD-based OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.

NOASSERTION5530 113 278

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION2841 80 2622

texstudio

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

Language:C++GPL-3.02684 55 2580

flix

The Flix Programming Language

Language:ScalaNOASSERTION2091 22 3317

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.01337 23 250

awesome-template-literal-types

Curated list of awesome Template Literal Types examples

Language:Dockerfile1142 20 6

imessage

A Matrix-iMessage puppeting bridge.

Language:GoAGPL-3.0971 18 17

blank-audio

Set of blank MP3 audio files

868 13 13

django-sslserver

A SSL-enabled development server for Django

Language:PythonMIT731 22 69

cs6120

advanced compilers

Language:HTMLMIT701 20 124

viskell

Visual programming meets Haskell

Language:JavaNOASSERTION678 44 92

sudo-touchid

 Permanent TouchID support 👆 for `sudo`.

Language:ShellEPL-2.0510 6 16

LongestCocoa

FindTheLongestIdentifierNameInCocoaFramework

Language:Python510 8 1

smart-toc

A Chrome extension for auto-generating a table of contents

Language:TypeScriptApache-2.0215 7 32

rxjs-debug

Automated RxJS Visualizer

Language:TypeScriptNOASSERTION196 2 6

arvada

Grammar synthesis algorithm using a black box oracle

Language:PythonMIT34 3 1

WiimotePair

A utility app that pairs Wii Remotes to Macs.

Language:Objective-C15 6 5

KanyeWeast

Multi-purpose discord bot started as a collaborative project among university students experimenting with APIs.

Language:Python1500

setup-scoop

GitHub Actions to install apps to Windows runner by scoop

Language:PowerShellAGPL-3.01000

UASpoofer

An extension for Chromium-based desktop browsers that can override the navigator.userAgent property with a more common user agent.

Language:JavaScriptMIT100