Skip to content
View Zimmi48's full-sized avatar

Organizations

@NixOS @coq @unkilodeplumes @coq-community

Block or report Zimmi48

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

8 stars written in Ruby
Clear filter

Your self-hosted, globally interconnected microblogging community

Ruby 47,424 7,032 Updated Jan 3, 2025

A privacy-aware, distributed, open source social network.

Ruby 13,419 2,917 Updated Sep 4, 2024

Public feedback discussions for: GitHub Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more!

Ruby 6,904 2,678 Updated Dec 9, 2024

Determines which markup library to use to render a content file (e.g. README) on GitHub

Ruby 5,878 3,398 Updated Dec 30, 2024

📮 Untangle your GitHub Notifications

Ruby 4,366 346 Updated Jan 2, 2025

A site to provide non-judgmental guidance on choosing a license for your open source project

Ruby 3,743 1,356 Updated Nov 26, 2024

Crossposter to post statuses between Mastodon and Twitter

Ruby 804 58 Updated May 26, 2023

Authorea's TeX-based stylist.--Automatically style research documents

Ruby 26 3 Updated Oct 13, 2016