morxa Goto Github PK

backuppc-tools

Tools to create LVM snapshots, btrfs subvolumes before backup is run.

bear

Build EAR

bibtex2html

btrfs-sxbackup

Incremental btrfs snapshot backups with push/pull support via SSH

catch2

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

check_systemd

This systemd check for nagios compatible monitoring systems will report a degraded systemd to your monitoring solution. It can also be used to monitor individual systemd services and timers units.

citegraph

clingo

A grounder and solver for logic programs.

clipsmm

C++ Binding for CLIPS Rules Engine

collada-dom

COLLADA Document Object Model (DOM) C++ Library

dbmp

Database-Driven Macro Planning

debug-clingo

dex

DesktopEntry Execution

dlplan

A library for constructing and evaluating state features made up of description logics for planning.

docker-icaps-comp

Files to build a Docker image for the ICAPS Logistic Robots Planning Competition

docker-image-watch

Get notified if a public docker image is updated

docker-robotics

Docker images related to robotics

dotfiles

My private dotfiles

fawkes

Fawkes Robot Software Framework

fedora-eclipse-clp

Fedora package sources for ECLiPSe

fedora-gologpp

Fedora package sources for gologpp

fedora-nanoxml

Fedora package for nanoxml

fedora-openrave

SPEC file for openrave

fedora-popf

Fedora packaging files for popf

fedora-rcll-refbox

Fedora package for the RCLL RefBox

flex

The minimalist Pelican theme.

freeopcua

Open Source C++ OPC-UA Server and Client Library

genfond

Generalized Planning for FOND Planning

gh-emails

A server for more detailed email notifications on push events

gitlint

Linting for your git commit messages