Explore

mike/ bitset

A set of (relatively small) integers.

Updated 2025-12-29 17:02:39 +01:00

mike/ numerical-differentiation

Updated 2024-11-17 19:33:02 +01:00

mike/ mike-tree

Updated 2023-12-24 13:22:55 +01:00

mike/ build-from-source-cpython

Custom system to build an run multiple CPython versions.

Updated 2023-12-05 20:56:19 +01:00

mike/ git-snaps

Updated 2023-03-27 16:39:21 +02:00

git-meta/ docs

0 0

Documentation Source Code

Updated 2023-01-07 00:58:32 +01:00

mike/ encoder-pos

Abstraction of an encoder position value, e.g. a physical angle.

Updated 2022-12-11 14:34:37 +01:00

mike/ git-meta

A system to store meta-data, e.g. a description, for any Git object. Unlike git-notes fully supports branches, tags and paths.

Updated 2022-10-15 21:57:33 +02:00

mike/ kniffel

Updated 2022-10-09 16:57:27 +02:00

mike/ z

A slightly modified version of https://github.com/rupa/z.git

Updated 2020-04-22 09:45:27 +02:00

mike/ simpa

0 0

Simple parallel execution tool

Updated 2020-04-19 16:59:12 +02:00

mike/ chkpwd

A console Pyhton (>=3.6) script that checks the password at https://haveibeenpwned.com, without actually transmitting it over the internet.

Updated 2018-02-24 15:19:16 +01:00