Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by petr-muller
A curated list of projects in awesome lists by petr-muller .
https://github.com/petr-muller/beakerlib
My personal repository for the shell-level testing library. Might contain more code than the upstream one.
Last synced: 27 Dec 2024
https://github.com/petr-muller/lemke-howson
Implementation of the Lemke-Howson's algorithm for finding Nash equilibrium of a bimatrix game
Last synced: 27 Dec 2024
https://github.com/petr-muller/xcom-scanner
An Android application used in action larp series inspired by UFO and XCOM strategy games.
Last synced: 27 Dec 2024
https://github.com/petr-muller/www.vtes.cz
Hugo site as a landing page for Czech VtES community
Last synced: 27 Dec 2024
https://github.com/petr-muller/pyffbot
A GitHub bot that adds natural language summaries of Python code changes to pull requests.
Last synced: 27 Dec 2024
https://github.com/petr-muller/software-quality-tools
Software Quality Tools
quality static-analysis testing tools
Last synced: 27 Dec 2024
https://github.com/petr-muller/abductor
Abductor 1.0: a prototype compositional analyser for C programs, based on separation logic.
Last synced: 27 Dec 2024
https://github.com/petr-muller/petr.muller.dev
Hugo sources for petr.muller.dev
Last synced: 27 Dec 2024
https://github.com/petr-muller/openui-tutorial
A walkthrough of the OPENUI5 Tutorial
Last synced: 27 Dec 2024
https://github.com/petr-muller/parabellum
Various stuff to support Para Bellum
Last synced: 27 Dec 2024
https://github.com/petr-muller/dejagnu-tools
A python module for working with DejaGnu result files
Last synced: 27 Dec 2024
https://github.com/petr-muller/llmv-caleidoscope-tutorial
A walkthrough of the LLVM Caleidoscope tutorial
Last synced: 27 Dec 2024
https://github.com/petr-muller/magic.afri.cz
Hugo sources for magic.afri.cz
Last synced: 27 Dec 2024
https://github.com/petr-muller/daily-evernote
A simple utility showing a random Evernote note each day.
Last synced: 27 Dec 2024
https://github.com/petr-muller/larp-xcom-ufopaedia
A simple in-game DB system to support XCOM-inspired series of airsoft games
Last synced: 27 Dec 2024
https://github.com/petr-muller/ota-upgradeblocker-bot
Slack bot automating various tasks related to OpenShift UpgradeBlocker workflow
Last synced: 27 Dec 2024
https://github.com/petr-muller/vtes
An experimental game log for Vampire: the Eternal Struggle play
Last synced: 27 Dec 2024
https://github.com/petr-muller/larp-xcom-chest
A simple arduino sketch for a larp gadget. The gadget is a chest, which detects whether it is open or closed (as witnessed by a light sensor inside and a bending sensor on a hinge). When a chest is open, an alarm sounds.
Last synced: 27 Dec 2024
https://github.com/petr-muller/dotfiles-cm
Dotfiles managed by chezmoi.io (experimental)
Last synced: 27 Dec 2024
https://github.com/petr-muller/wetware
Tool for personal networked thoughts and facts about subjects and topics
Last synced: 07 Nov 2024