Skip to content
@forked-by-mio

forked-by-mio

Popular repositories Loading

  1. Sandboxie-nosupport Sandboxie-nosupport Public

    Forked from sandboxie-plus/Sandboxie

    [WIP] Sandboxie Plus without supporter certificate required

    C 3 1

  2. XposedAppSettings-LSPatch XposedAppSettings-LSPatch Public

    Forked from BlueCat300/XposedAppSettings

    Fork of XposedAppSettings for LSPatch

    Java 3 1

  3. MCApollo.github.io MCApollo.github.io Public

    Forked from MCApollo/MCApollo.github.io

    HTML 1

  4. trait-async trait-async Public archive

    Forked from dtolnay/async-trait

    Type erasure for async trait methods

    Rust

  5. sigplan-template sigplan-template Public

    Forked from jamesbornholt/sigplan-template

    my template for sigplanconf latex papers

    TeX

  6. racket-lang-org-PR racket-lang-org-PR Public

    Forked from racket/racket-lang-org

    Racket

Repositories

Showing 10 of 79 repositories
  • SpotX Public Forked from SpotX-Official/SpotX

    SpotX patcher used for patching the desktop version of Spotify

    forked-by-mio/SpotX’s past year of commit activity
    PowerShell 0 MIT 833 0 0 Updated Jan 15, 2025
  • crossover-trial-renew Public Forked from Nygosaki/crossover-trial-renew

    A tool which resets the crossover trial in order to achieve using crossover for free

    forked-by-mio/crossover-trial-renew’s past year of commit activity
    Shell 0 1 0 0 Updated Jan 10, 2025
  • SpotX-Bash Public Forked from SpotX-Official/SpotX-Bash

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

    forked-by-mio/SpotX-Bash’s past year of commit activity
    Shell 0 MIT 90 0 0 Updated Jan 2, 2025
  • applesauce Public Forked from Dr-Emann/applesauce

    Transparent compression for Apple File System Compression (AFSC)

    forked-by-mio/applesauce’s past year of commit activity
    Rust 0 GPL-3.0 1 0 0 Updated Dec 23, 2024
  • metacoq Public Forked from MetaCoq/metacoq

    Metaprogramming, verified meta-theory and implementation of Coq in Coq

    forked-by-mio/metacoq’s past year of commit activity
    Coq 0 MIT 84 0 0 Updated Dec 7, 2024
  • scala-graph Public Forked from scala-graph/scala-graph

    Graph for Scala is intended to provide basic graph functionality seamlessly fitting into the Scala Collection Library. Like the well known members of scala.collection, Graph for Scala is an in-memory graph library aiming at editing and traversing graphs, finding cycles etc. in a user-friendly way.

    forked-by-mio/scala-graph’s past year of commit activity
    Scala 0 Apache-2.0 76 0 0 Updated Oct 6, 2024
  • jimtcl Public Forked from msteveb/jimtcl

    Official repository of Jim Tcl, an open-source, small footprint implementation of Tcl

    forked-by-mio/jimtcl’s past year of commit activity
    C 0 126 0 0 Updated Sep 22, 2024
  • iron Public Forked from Iltotore/iron

    Strong type constraints for Scala

    forked-by-mio/iron’s past year of commit activity
    Scala 0 Apache-2.0 47 0 0 Updated Sep 20, 2024
  • ShiTT Public Forked from KonjacSource/ShiTT

    ShiTT is a dependent typed language with practical features.

    forked-by-mio/ShiTT’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 0 0 Updated Sep 9, 2024
  • ChezScheme Public Forked from cisco/ChezScheme

    Chez Scheme

    forked-by-mio/ChezScheme’s past year of commit activity
    Scheme 0 Apache-2.0 1,001 0 0 Updated Aug 19, 2024
View all repositories

Most used topics

Loading…