matthiasgabriel Goto Github PK

assertk

assertions for kotlin inspired by assertj

django

The Web framework for perfectionists with deadlines.

napalm

Network Automation and Programmability Abstraction Layer with Multivendor support

napalm-ios

nornir

Pluggable multi-threaded framework with inventory management to help operate collections of devices

nornir_napalm

NAPALM's plugins for nornir

ntc-templates

TextFSM templates for parsing show commands of network devices

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

owasp-mstg

The Mobile Security Testing Guide (MSTG) is a comprehensive manual for mobile app security testing and reverse engineering.

plfa.github.io

Introduction to programming language theory in Agda

pytest

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

redocly-join-showcase

semprogantr_fs20

"Dependent Types for Software Engineers" - Report for the Seminar "Program Analysis and Transformation" in HS2020 about dependent types.

semprogantr_hs19

"Concolic testing: An overview of the used techniques and its limits" - Report for the Seminar "Program Analysis and Transformation" in HS2019 about the topic concolic testing