mkf

jchess3man

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

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

homedirconfig

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

an-editor-the-fork-of-loop

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

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

dev.to

Where programmers share ideas and help each other grow

dscwatch

dtin-z8_1

https://guarded-brook-67385.herokuapp.com/product

dtin-z8_2

https://still-hollows-16124.herokuapp.com/recipe/new

etc-nixos

2019-2022: This is my /etc/nixos git repository. Branches are machines.

java_files.prolog

describing classfiles and heapdumps in hope of manipulating them with SWI-Prolog

lcgen

lmmish.c

2020: last-minute "m1cr05h311" pr0j3ct 0per4ting 5y5t3m5 assignment

log1

2020: my shitty inactive weblog powered by Hugo SSG that needs to be redone with reconceptualization

mkf

mkf/mkf is a special repository. Its README.md appears on my public profile!

mkf.emacs.d

my .emacs.d

mkfssg

nix-env

a ~/.nix-defexpr channel, to https://github.com/mkf/etc-nixos . Branches are machines

nixpkgs

Nix Packages collection

POB-peselset

Jun2020: a uni Java assignment

PRA2018-2019

Pracownia Programowania 2018/2019

proxyless_gemtext.pl

this will be my gemtext to html converter

randombmp

Resolutioner

Q1 2022: login/logoff screen resolution changing background Windows program

slider-chart-table-editor

my Github Pages site with some Web Toys

sortgtxt

2016, at work on request, small helper project: Module for sorting Gettext files

twiki.mikf.pl

upower-python-utility-script

a battery script forked from https://github.com/wogscpar/upower-python ("Simple UPower wrapper written in python using DBus")

wiki1

'Tis just a bad wiki of mine