Skip to content
View filiptronicek's full-sized avatar
🐢
Doing awesome stuff
🐢
Doing awesome stuff

Sponsors

@krystxf
Private Sponsor
@kdaigle

Sponsoring

@codediodeio
@tauri-apps
@fregante
@open-sauced
@openwebdocs
@streetsidesoftware

Organizations

@eclipse @EclipseFdn @gitpod-io @aperta-principium @taskord @sharee-app @interclip @Meziklassociation

Block or report filiptronicek

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
filiptronicek/README.md

Hi everyone 👋

I'm a software engineer from Czechia, hacking things together @ Gitpod.

More stuff about me

Quick overview

GitHub stats

My github stats

(also from a project I have contributed to, anuraghazra/github-readme-stats)

Biggest supporters of my OSS work ($25 or more in my tiers):

What I do

I do Open Source. In fact, I do Open Source so much, that 95% of my work on GitHub is free and open to everyone. I am really passionate about doing web development, it is in my opinion the best combination of logical programming and (sometimes) beautiful design.

My skills 📜

Web technologies

Application Development

Productivity utilities

  • Microsoft Office - I am a Certified Excel and Word Expert

Languages 🌐

Language Proficiency
English (duh) C2 (EFSET certified)
German B1 (DSD Certificate)
Czech Native language

What I'm currently learning 📚

  • Diving into VS Code's code base
  • Typescript's magic
  • Rust's blazing-fastness

My own dictionary 📕:

Word / abreviation Meaning Note
FFO Fífa Friendly Office (a place where I can work safely) Idea by @aellopos

Pinned Loading

  1. interclip/interclip interclip/interclip Public

    A clipboard and file sharing tool

    PHP 32 4

  2. gitpod-io/gitpod gitpod-io/gitpod Public

    The developer platform for on-demand cloud development environments to create software faster and more securely.

    Go 12.7k 1.2k

  3. interclip/desktop interclip/desktop Public

    An experimental desktop client built with Tauri

    Svelte 2

  4. gitpod-io/workspace-images gitpod-io/workspace-images Public

    Ready to use docker images for Gitpod workspaces

    Dockerfile 475 320

  5. gh-sponsors-api gh-sponsors-api Public

    A REST API for GitHub Sponsors

    Go 33 5

  6. open-vsx/publish-extensions open-vsx/publish-extensions Public

    Scripts for publishing VS Code extensions to open-vsx.org

    JavaScript 235 201