RatCornu

efs

An OS and architecture independent implementation of some Unix filesystems in Rust.

backhand

Library and binaries for the reading, creating, and modification of SquashFS file systems

commet

Your space to connect

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-waterproof

extensions-source

Source code of extensions for the Tachiyomi app.

fractran

funkwhale-flake

A nix flake for the funkwhale music service

home-manager

Manage a user environment using Nix [maintainer=@rycee]

manga-tui

Terminal-based manga reader and downloader with image support

mihon

Free and open source manga reader for Android

nixpkgs

Nix Packages collection & NixOS

Projet-Prog-2

RatCornu

Config files for my GitHub profile.

revolt-backend

Monorepo for Revolt backend services.

revolt-rfcs

RFCs for changes to Revolt

rust-osdev-homepage

scala-native-sfml

Scala Native 3 bindings for SFML library

spyware

Simple discord bot for a small server with friends

Suwayomi-Server

A rewrite of Tachiyomi for the Desktop

tachiyomi

Free and open source manga reader for Android.