eapiova

eapiova's Stars

• BrandenEK/Blasphemous.Multiplayer

  A multiplayer mod that allows you to play Blasphemous cooperatively or against other people

  Language:C#303

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml35146

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda35371

• fblanqui/color

  Coq library on rewriting theory and termination

  Language:Coq3521

• Aider-AI/aider

  aider is AI pair programming in your terminal

  Language:Python24.6k2.3k

• ventoy/Ventoy

  A new bootable USB solution.

  Language:C64k4.1k

• ImranR98/apps.obtainium.imranr.dev

  Collection of suggested apps for Obtainium.

  Language:HTML22549

• juzeon/SydneyQt

  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).

  Language:Go87580

• Stability-AI/stablediffusion

  High-Resolution Image Synthesis with Latent Diffusion Models

  Language:Python39.7k5.1k

• RPCS3/rpcs3

  PlayStation 3 emulator and debugger

  Language:C++15.9k2k

• peterlefanulumsdaine/general-type-theories

  A (formalised) general definition of type theories

  Language:Coq572

• touchHLE/touchHLE

  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

  Language:Rust2.8k126

• SpotX-Official/SpotX-Bash

  SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash

  Language:Shell2.6k87

• PCSX2/pcsx2

  PCSX2 - The Playstation 2 Emulator

  Language:C++12.3k1.7k

• yt-dlp/yt-dlp

  A feature-rich command-line audio/video downloader

  Language:Python95.9k7.5k

• fmhy/edit

  Make changes to FMHY

  Language:TypeScript3k914

• styler00dollar/VSGAN-tensorrt-docker

  Using VapourSynth with super resolution and interpolation models and speeding them up with TensorRT.

  Language:Python29630

• xinntao/Real-ESRGAN

  Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.

  Language:Python29.2k3.6k

• Nuzair46/BlockTheSpot-Linux

  Spotify Ad blocker based on SpotX for Linux

  Language:Shell79336

• Maassoft/ColorControl

  Easily change NVIDIA display settings and/or control LG TV's

  Language:C#1k45

• jaakkopasanen/AutoEq

  Automatic headphone equalization from frequency responses

  Language:Python13.7k2.5k

• rmcrackan/Libation

  Libation: Liberate your Library

  Language:C#3.1k162

• Grasscutters/Cultivation

  A custom launcher designed to make it as easy as possible to proxy anime game traffic to private servers.

  Language:TypeScript1k167

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq969172

• dillonhuff/Folly

  First order logic in Haskell

  Language:Haskell93

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k195

• 07th-mod/onikakushi

  9824

• RedPRL/cooltt

  😎TT

  Language:OCaml22114

• alvisespano/FunctionalLanguages-UniPD

  Functional Languages course for University of Padova

  Language:F#5