Stars
Anki is a smart spaced repetition flashcard program
This python program allows you to use Claude Code with Google's Gemini models.
Easily synchronize your settings
Audionut / Upload-Assistant
Forked from L4GSP1KE/Upload-AssistantA fork of L4G adding features, speed and bugs
Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.
A program to search similar and defect pictures on the disk
A multiplayer mod that allows you to play Blasphemous cooperatively or against other people
The Ott tool for writing definitions of programming languages and calculi
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Coq library on rewriting theory and termination
aider is AI pair programming in your terminal
Collection of suggested apps for Obtainium.
A cross-platform desktop client for the jailbroken New Bing AI Copilot (Sydney ver.) built with Go and Wails (previously based on Python and Qt).
High-Resolution Image Synthesis with Latent Diffusion Models
A (formalised) general definition of type theories
High-level emulator for iPhone OS apps. This repo is used for issues, releases and CI. Submit patches at: https://review.gerrithub.io/admin/repos/touchHLE/touchHLE
SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash
A feature-rich command-line audio/video downloader
Using VapourSynth with super resolution and interpolation models and speeding them up with TensorRT.
Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.
Spotify Ad blocker based on SpotX for Linux
Easily change NVIDIA display settings and/or control LG TV's
Automatic headphone equalization from frequency responses