Skip to content
depressed NEET betting on a chance in life
depressed NEET betting on a chance in life




  • Pro


Block or Report

Block or report mkf

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.

Report abuse

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

Report abuse

Hi there 👋

My name is Mika Feiler.

I am presently unemployed and residing in Poznań, no longer a student of AMU Poznań nor of UMK(NCU) Toruń, having dropped out.

See my profile website for more information about me. There is also a /now page there.

I am active on Twitter as @mika_feiler.


  • at DLabs/DiabetesLab, during 2016 and 2017 summer holidays,
  • at Paweł Kapała, in August–September 2017.

Since high school times until the moving out to Poznań I was active in Scientific Circle of Computer Science at the Faculty of Mathematics and Computer Science of Nicolaus Copernicus University in Toruń, I was a regular attendee of Toruń JUG and Allegro MeetIT Toruń meetups, and I participated yearly in interactive exhibitions on the Faculty of Mathematics and Computer Science as part of Toruń Festival of Art and Science.

I have an interest in functional programming. I use NixOS.

My pronouns are she/her. I used to be known as Michał Krzysztof Feiler, and also as ArchieT (my previous username on GitHub, since abandoned and taken by someone else).

IV Liceum Ogólnokształcące im. Tadeusza Kościuszki w Toruniu gang.


  1. kilka zadań z przedm. Algorytmy zrobionych z dowodami we Frama-C. See the WIP in feature branches. For some other problems from this set done with Spark2014, see also


  2. A git repository of my $HOME containing dotfiles, with stuff getting submoduled. Branches are machines.


  3. 2017-2018, teamwork: reimplementing in Haskell

    Haskell 2 1

  4. Apr2017: an attempt at web client for

    Clojure 1 1

  5. 2015-2017, teamwork: An implementation of 3 Man Chess: In The Round, along with a multiplayer server. Coming with a web client: The game impl then unfinishedly…

    Go 3 2

  6. 2017, teamwork: reimplementing in Java. Historic note: "Probably abandoned to be replaced with"

    Java 2 2

278 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Activity overview
Contributed to mkf/website-archiet, mkf/etc-nixos, mkf/homedirconfig and 5 other repositories

Contribution activity

September 2021

Created 13 commits in 2 repositories
Opened 1 pull request in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.