mkf Goto Github PK

followers: 40.0 following: 58.0 repos: 111.0 gists: 33.0

Name: Mika Feiler

Type: User

Company: Nokia

Twitter: mika_feiler

Location: Poznań, Poland

Blog: https://mikf.pl

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:

a few programming tasks written with attempts at proofs in Frama-C and Spark2014
- https://github.com/mkf/asdframac
- https://github.com/mkf/asdspark
a script in Perl https://github.com/mkf/pack_randomness

Regular university assignments:

This list is uncomplete.

Mika Feiler's Projects

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 rewritten with multiple fixes: https://github.com/ArchieT/clj3manchess

3manchess-web

2015-2016, teamwork: The web client to https://github.com/mkf/3manchess.

3mc-prolog

3mc_coq

adjule-manager

an-editor-the-fork-of-loop

Fork of Loop ("A text editor built in Rust"). Might become another project.

android-platform-frameworks-base

archiet.github.io

armpen

Ramię LEGO Mindstorms trzymające pisak. Szkolny projekt na 15. Toruński Festiwal Nauki i Sztuki.

asdframac

(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://github.com/mkf/asdspark

asdhas

asdspark

kilka zadań z przedm. Algorytmy zrobionych z dowodami w Spark2014. See the WIP in feature branches. For some other problems from this set done with Frama-C, see also https://github.com/mkf/asdframac

auricle

Auricle mobile application

bothplay

in 2015 i thought i would manage to do the maths to detect by microphone where in the track the other machine is and have stereo playback from two, playing from soundcloud, maybe even recognizing the track