Discover SuperSonicHub1/are-type-systems-easy Open Source project

Stars
1
Language
Rust
Created over 1 year ago
Updated 12 months ago

SuperSonicHub1

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Can we make declarative definitons of type systems executable? I sure think so.

twitch-graphql-api

A documentation and schema scraping of Twitch's GraphQL API.

awesome-free-mit

A collection of free stuff you can get at the Massachusetts Institute of Technology.

Python

awesome-libsm64

A collection of things made with libsm64.

y-git

Git persistence layer for Y.js

TypeScript

spotify-audio-embeddings

Visualizations of music semantics calculus using Spotify and deep embeddings.

Python

TikTok-RSS

A simple TikTok RSS feed generator.

Python

Bad-Apple-Media-Metadata

Play Bad Apple on your phone or computer's media controls.

JavaScript

Slasher

A commmand-line tool and Python library for autonomous editing of livestreams via live chat activity.

Python

doom-ti84plusce

(ABANDONED) DOOM ported to the TI-84 Plus CE

reverse-dictionary

An implementation of a reverse dictionary using txtai.

Python

playah

a yt-dlp media player in your browser for the masses

JavaScript

bpe-re

A basic regular expression engine for the byte pair encodings of OpenAI's LLMs.

Python

tiktoken-compress

Using GPT3's byte-pair encoding to compress text.

Python

mpv-ubuntu

A Containerfile and some Bash scripts to build a deb package for mpv on Ubuntu 20.04.

Dockerfile

conch

A Rust proc macro which embeds Nushell with compile-time linting.

Rust

shodan-at-home

A scrappy lil' nmap scraper powered by GitHub actions.

crunchyroll-manga-to-komga

Download manga from Crunchyroll.

Python

fbi-most-wanted-scraper

Using the power of Git scraping to archive the people on the FBI's Most Wanted program.

Python

ao3-rss

Follow AO3 works without making an account.

Python

readability-site

Mozilla's Readability library as a service with some sprinkles on top.

JavaScript

rave-dl

Rips video and audio (with metadata) from music mixing website RaveDJ.

Python

pictureInPictureButton

Universal Picture in Picture button/shortcut for Chrome.

JavaScript

FreeEpicGamesCalendar

Always know when there's a new deal at the store.

Python

supersonichub1.github.io

My website!

CSS

dwarflection

comply

A Python DSL for creating more friendly FFmpeg filtergraphs

Python

webtorrent-server

Download junk from torrents over HTTP.

JavaScript

wmbrbot

A Discord companion bot to the Massachusetts Institute of Technology's Walker Memorial Basement Radio, 88.1 FM.

Python

luma-energy-outages

Tracking outages for Puerto Rico's private electricity distributor with GitHub Actions.

Python

rx-calc

A reactive subset of Python for doing napkin math.

Python

phonetic-portmantout-v2

A response to Tom VII's SIGBOVIK 2015 paper, "The Portmantout."

Python

gorr-language

A toy specification language designed for my high school's senior capstone project.

HTML

RequestQL

A GraphQL server inspired by gdom that implements a universal web scraping language.

JavaScript

spotify2yt

When your friend group uses Spotify but you're too based for that and use YouTube + uBlock or NewPipe instead. 😎

Python

turf-war-action

A bot for https://github.com/shamblesides/turfwar

HTML

linguistics.db

A multitool for engaging in shenanigans with English and other languages.

Python

datamosh.py

A much cleaner version of https://github.com/happyhorseskull/you-can-datamosh-on-linux that assumes you know how computers work.

Python

sidequest-debian

A Containerfile and some Bash scripts to builld Debian packages for SideQuest on Debian Bullseye.

Dockerfile

trunkless

A very work-in-progress offline-first no-login-required mobile Mastodon client that implements Riffle's design patterns.

TypeScript

is-this-mit-nick-available

As National College Signing Day approaches, use this web app to prepare to make a claim to your digital identity at the Insitute.

HTML

caption_search

Create a personal full-text search SQLite database of YouTube video captions and browse it with a Flask web-app.

Python

clip-origins

Use Twitch's GraphQL API in order to find all the clips a VOD is associated with.

Python

twitch_sgqlc

A conversion of Twitch's GraphQL schema to a sgqlc Schema.

Python

musquery

A new-age music metadata management system powered by Mutagen, SQLite, and apsw.

Python

rhyme_trie

A rhyming database implemented with a trie and the CMU Pronouncing Dictionary. Man, do I love data structures!

Python

wikidata-explorer

A tool for exploring Wikidata through a graph API.

JavaScript

ffsilencer

Hack the silence out of your videos using Bash, FFmpeg and AWK!

Shell

JinsPleasureBot

A Discord bot that spouts posts from r/AnimeGirls; made as a joke for a friend in a day with discord.py and PRAW. (help)

Python

redex-cas

A work-in-progress computer algerba system written in PLT Redex.

Racket

BoogleSearch

An implementation of "A New Google" by Daniel Gross.

Python

SuperSonicHub1/are-type-systems-easy

SuperSonicHub1

Reviews

Repository Details

More Repositories