Skip to content
View enricozb's full-sized avatar
🇳🇱
biking around
🇳🇱
biking around

Highlights

  • Pro

Block or report enricozb

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. intuitive intuitive Public

    A library for building declarative text-based user interfaces

    Rust 214 3

  2. tabs.kak tabs.kak Public

    Kakoune buffers as tabs in the status line.

    Rust 27 3

  3. rmtemplates-frontend rmtemplates-frontend Public

    rm.ezb.io - reMarkable template sharer

    TypeScript 5 1

  4. lean.kak lean.kak Public

    Minimal Lean syntax highlighting, intermediate evaluation, and LaTeX completions

    2

  5. XaTeLite XaTeLite Public

    Latex over SSH + HTTP

    Python 1

  6. buffon-lean buffon-lean Public

    buffon's needle in lean 4

    Lean 2