michalhe Goto Github PK

amaya

amaya-bench

amaya-cav-artifact-scripts

amaya-mtbdd

dracut

dracut the event driven initramfs infrastructure

formal-methods-fa-slides

gympoh-projects

Collection of software projects developed for Gympoh.

helenos

A portable microkernel-based multiserver operating system written from scratch.

isort

A Python utility / library to sort imports.

leapp

Leapp - Application & OS Modernization Framework

leapp-repository

Leapp repositories containing actors for the Leapp framework (https://github.com/oamg/leapp)

nfa-bench

Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format

oamg-snippets

Code snippets, that might come in handy some day however won't be needed in the code right now.

pnet-toolkit

prefixdevname

Simple udev helper that let's you define your own prefix used for NIC naming.

regular-game

A game where the player fights with regular languages

sylvan

Implementation of multi-core (binary) decision diagrams

sylvan-custom-leaf-example

Example project on how to implement custom MTBDD leaves with the trolando/sylvan library

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

three-orbitcontrols-ts

ThreeJS OrbitControls as a standalone and typescript compatible npm module