Skip to content
View mirabilos's full-sized avatar
😵
😵

Organizations

@MirBSD

Block or report mirabilos

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

Pinned Loading

  1. Impressum Impressum Public

    imprint and related legal information in German language

  2. shellsnippets shellsnippets Public

    Shell snippets of random value. Not intended to be packaged, more like aid to developers, training purposes or a code library. Each of the snippets is separate and may have separate authors.

    Shell 11

  3. git-find git-find Public

    Development of a “git find” utility. Uncluttered repository (no README etc.) for easier merge into git.git

    Shell 10 3

  4. qvest-digital/rfc822 qvest-digital/rfc822 Public

    mirror of the repository of the evolvis tartools rfc822 repository

    Java 2

  5. tex-unicodedomino tex-unicodedomino Public

    Teχ/LᴬTᴇX (pdflatex) Unicode “Domino” for unknown codepoints (instead of aborting)

    TeX 3

  6. tex-unicodepoints tex-unicodepoints Public

    Set up thousands of codepoints for use with Teχ/LᴬTᴇX (pdflatex)

    TeX 4