Skip to content
View jovermann's full-sized avatar

Block or report jovermann

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
  • treeop Public

    C++ MIT License Updated Jan 10, 2026
  • streplace Public

    String replace: Replace strings, in place, in everything, recursively.

    C++ 2 3 MIT License Updated Jan 7, 2026
  • hardshrink Public

    Shrink directories by hard-linking files

    C++ MIT License Updated Jan 7, 2026
  • treesync Public

    Synchronize or diff two directory trees

    C++ Boost Software License 1.0 Updated Jan 4, 2026
  • Empirically check sectors of SSD/Flash/HD disk by reading and optionally writing them

    C++ Boost Software License 1.0 Updated Jan 4, 2026
  • leancrypt Public

    Lean C++ crypto library

    C++ Boost Software License 1.0 Updated Jan 4, 2026
  • Python Updated Jan 4, 2026
  • esp-idf Public

    Forked from espressif/esp-idf

    Espressif IoT Development Framework. Official development framework for Espressif SoCs.

    C Apache License 2.0 Updated Oct 13, 2023
  • dataplot Public

    Python Boost Software License 1.0 Updated Apr 2, 2023
  • Simple ATTiny13 based auto-power-off module

    MIT License Updated May 14, 2022
  • thinning Public

    Remove obsolete backup dirs from a set of daily incremental backups.

    Python MIT License Updated Sep 29, 2020
  • rtpengine Public archive

    Forked from sipwise/rtpengine

    The Sipwise media proxy for Kamailio

    C GNU General Public License v3.0 Updated Jul 1, 2020
  • mp4todivx Public

    Convert *.mp4 files to *.avi files containing DivX streams

    Python MIT License Updated Jun 8, 2019
  • mp32ogg Public

    Convert mp3 files to ogg files, recursively.

    Python MIT License Updated Jun 7, 2019
  • mp3check Public

    Check mp3 files for consistency recursively and list their parameters.

    MIT License Updated Nov 12, 2018
  • ogg2gme Public

    Convert a set of OGG audio files into a GME file suitable for Ravensburgers TipToi pen, and into a set of OID patterns which are recognized by this pen.

    Python 1 Updated Apr 24, 2018
  • This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.

    C Microsoft Public License Updated Jan 22, 2018