Skip to content
View mkf's full-sized avatar
41 followers · 58 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@TFNiS

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.

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

Hi, I'm Mika

My pronouns are she/her.

Something of a portfolio of projects here

Resolutioner (recently)

  • a simple WinForms (C#, Windows) GUI application
  • changes screen resolution
  • handles&distinguishes events for logoff/shutdown and session switch/lock
  • uses .NET app settings configuration files

Unfinished implementations of 3 Man Chess: In The Round. A team project. (2015-2018)

In 2019 I wrote:

  • a script in Go (+some Bash companion for myself) to fetch paginated followers list from Twitter
  • an extension to pass for myself to account for uncertain behavior of show command https://github.com/mkf/pass-stdout

etc-nixos and nix-env

  • configuration for my NixOS installations
  • use of Nix Flakes

homedirconfig is a Git repository in my $HOME, containing all my user-editable dotfiles.

  • alias gd='GIT_WORK_TREE="$HOME" GIT_DIR="$HOME/.gd" GIT_CONFIG="$HOME/.gdconfig" git -c "core.excludesfile=$HOME/.gdignore"'

Minor contributions to NixOS nixpkgs:

I had minor user-help & Mastodon/Fediverse instances list contributions to Forem, the platform that powers dev.to.

Unusual university assignments:

Regular university assignments:

This list is uncomplete.

Pinned Loading

  1. asdframac asdframac Public

    (at turn of) 2019/2020: 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 https:…

    C

  2. homedirconfig homedirconfig Public

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

    Shell

  3. ThreeManChess ThreeManChess Public

    2017-2018, teamwork: reimplementing https://github.com/mkf/3manchess in Haskell

    Haskell 2 1

  4. chess3man-web chess3man-web Public

    Apr2017: an attempt at web client for https://github.com/mkf/clj3manchess

    Clojure 1 1

  5. 3manchess 3manchess Public

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

    Go 3 2

  6. jchess3man jchess3man Public

    2017, teamwork: reimplementing https://github.com/mkf/3manchess in Java. Historic note: "Probably abandoned to be replaced with https://github.com/mkf/clj3manchess"

    Java 2 2