Skip to content
View remimimimimi's full-sized avatar
🖖
🖖
64 followers · 170 following
  • Finland
  • 22:19 (UTC +03:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2

Block or report remimimimimi

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. concrete-mathconcrete-mathPublic

    Formally verified proof checker for Metamath.

    Isabelle 3

  2. leansecleansecPublic

    Total parser combinators library for Lean4

    Lean 10 1

  3. org-typst-preview.elorg-typst-preview.elPublic archive

    Preview Typst code blocks in org-mode (not necessarily) buffers.

    Emacs Lisp 81 9

  4. prefix-dev/rattler-buildprefix-dev/rattler-buildPublic

    rattler-build is a universal Conda package builder for Windows, macOS and Linux (like conda-build but faster)

    Rust 372 134

  5. pu-mode.elpu-mode.elPublic

    toki pona dictionary lookup using eldoc

    Emacs Lisp

  6. wbpwbpPublic

    Web browser project

    Rust 1