Explore projects
-
-
A class I followed about modelling and verifying a lock in UPPAAL.
Updated -
-
-
Joel Da Silva / atoum-xml-extension
Apache License 2.0An atoum extension to perform tests on XML files.
Updated -
GBD Gitlab / autorest
MIT License Modern VariantBash script that helps to automaticly restores pgBackRest backups and tests if latest backup is valid or not.
Updated -
Juergen Key / bad-certificates
BSD 3-Clause "New" or "Revised" LicenseThis repository contains the means to create all kinds for misconfigured or invalid x509 certificates for testing purposes. Often, such tests are not done because the certificates eventually expire and someone would have to recreate the - admittedly complex - Public Key Infrastructure (PKI) to re-issue the test certificates.
Updated -
rage / Check Generator
GNU General Public License v2.0 or laterGenerate unit tests for c projects via check, https://libcheck.github.io/check
Updated -
Alexander Schilling / Checkup
Apache License 2.0Framework running powerfull in-deep tests for standalone use or to enhance monitoring.
Updated -
This project is a part of skills verification (https://docs.google.com/document/d/14n5wDy-twJzdbGjRnYJ8NItaVmvtoU7PRCJ_7RWrfOc) and aims to measure skills in this programming language and compare it to others.
Updated -
DataStage tools for table comparison
Updated -
-
This is a very minimalist push notifications service implementation for iOS as Spring-Boot REST controller.
Updated -
End-to-end test framework for pipeline template authors. Trigger remote pipelines and make assertions.
Updated -
pinage404 / git-gamble
BSD Zero Clause Licenseblend TCR + TDD to make sure to develop the right thing, babystep by babystep ; Read the documentation
Updated -
-
-
wryyyyyyyy / GL starter pack
GNU General Public License v2.0 or laterJust a sort of starter demo projects like a hello-world.
Updated -
-