Pinned Repositories
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
efs
An OS and architecture independent implementation of some Unix filesystems in Rust.
extensions-source
Source code of extensions for the Tachiyomi app.
FormArith
For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
fractran
funkwhale-flake
A nix flake for the funkwhale music service
home-manager
Manage a user environment using Nix [maintainer=@rycee]
RatCornu's Repositories
RatCornu/efs
An OS and architecture independent implementation of some Unix filesystems in Rust.
RatCornu/backhand
Library and binaries for the reading, creating, and modification of SquashFS file systems
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/FormArith
For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
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/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.