Pinned Repositories
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
efs
An OS and architecture independent implementation of some Unix filesystems in Rust.
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
RatCornu's Repositories
RatCornu/efs
An OS and architecture independent implementation of some Unix filesystems in Rust.
RatCornu/commet
Your space to connect
RatCornu/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.
RatCornu/coq-waterproof
RatCornu/extensions-source
Source code of extensions for the Tachiyomi app.
RatCornu/fractran
RatCornu/funkwhale-flake
A nix flake for the funkwhale music service
RatCornu/home-manager
Manage a user environment using Nix [maintainer=@rycee]
RatCornu/manga-tui
Terminal-based manga reader and downloader with image support
RatCornu/mihon
Free and open source manga reader for Android
RatCornu/nixpkgs
Nix Packages collection & NixOS
RatCornu/Projet-Prog-2
RatCornu/backhand
Library and binaries for the reading, creating, and modification of SquashFS file systems
RatCornu/RatCornu
Config files for my GitHub profile.
RatCornu/revolt-backend
Monorepo for Revolt backend services.
RatCornu/revolt-rfcs
RFCs for changes to Revolt
RatCornu/rust-osdev-homepage
RatCornu/scala-native-sfml
Scala Native 3 bindings for SFML library
RatCornu/spyware
Simple discord bot for a small server with friends
RatCornu/Suwayomi-Server
A rewrite of Tachiyomi for the Desktop
RatCornu/tachiyomi
Free and open source manga reader for Android.