Pinned Repositories
3manchess
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.
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
chess3man-web
Apr2017: an attempt at web client for https://github.com/mkf/clj3manchess
chess3man_engine
Sep2016-Jan2017, teamwork: an attempt at rewriting https://github.com/mkf/3manchess game implementaiton in Dart
clj3manchess
2017, teamwork: an attempt at reimplementing https://github.com/mkf/3manchess
homedirconfig
A git repository of my $HOME containing dotfiles, with stuff getting submoduled. Branches are machines.
jchess3man
2017, teamwork: reimplementing https://github.com/mkf/3manchess in Java. Historic note: "Probably abandoned to be replaced with https://github.com/mkf/clj3manchess"
ThreeManChess
2017-2018, teamwork: reimplementing https://github.com/mkf/3manchess in Haskell
mkf's Repositories
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"
mkf/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
mkf/homedirconfig
A git repository of my $HOME containing dotfiles, with stuff getting submoduled. Branches are machines.
mkf/an-editor-the-fork-of-loop
Fork of Loop ("A text editor built in Rust"). Might become another project.
mkf/asdhas
mkf/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
mkf/dev.to
Where programmers share ideas and help each other grow
mkf/dscwatch
mkf/dtin-z8_1
https://guarded-brook-67385.herokuapp.com/product
mkf/dtin-z8_2
https://still-hollows-16124.herokuapp.com/recipe/new
mkf/etc-nixos
2019-2022: This is my /etc/nixos git repository. Branches are machines.
mkf/java_files.prolog
describing classfiles and heapdumps in hope of manipulating them with SWI-Prolog
mkf/lcgen
mkf/lmmish.c
2020: last-minute "m1cr05h311" pr0j3ct 0per4ting 5y5t3m5 assignment
mkf/log1
2020: my shitty inactive weblog powered by Hugo SSG that needs to be redone with reconceptualization
mkf/mkf
mkf/mkf is a special repository. Its README.md appears on my public profile!
mkf/mkf.emacs.d
my .emacs.d
mkf/mkfssg
mkf/nix-env
a ~/.nix-defexpr channel, to https://github.com/mkf/etc-nixos . Branches are machines
mkf/nixpkgs
Nix Packages collection
mkf/POB-peselset
Jun2020: a uni Java assignment
mkf/PRA2018-2019
Pracownia Programowania 2018/2019
mkf/proxyless_gemtext.pl
this will be my gemtext to html converter
mkf/randombmp
mkf/Resolutioner
Q1 2022: login/logoff screen resolution changing background Windows program
mkf/slider-chart-table-editor
my Github Pages site with some Web Toys
mkf/sortgtxt
2016, at work on request, small helper project: Module for sorting Gettext files
mkf/twiki.mikf.pl
mkf/upower-python-utility-script
a battery script forked from https://github.com/wogscpar/upower-python ("Simple UPower wrapper written in python using DBus")
mkf/wiki1
'Tis just a bad wiki of mine