Alternatives and similar repositories for open-source-development-course

Users that are interested in open-source-development-course are comparing it to the libraries listed below

• teaching-lab / stack-cs-activities
  A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …
  ☆26Updated last year
• dcermak / rpm-spec-language-server
  Language Server for RPM spec files
  ☆38Updated this week
• dburgener / cascade
  A high level language for SELinux policy
  ☆59Updated 3 months ago
• StayPirate / secbox
  Secbox is a toolbox that provides an out-of-the-box working setup for your daily work in the SUSE Security Team.
  ☆17Updated 2 weeks ago
• p11-glue / p11-kit
  Provides a way to load and enumerate PKCS#11 modules.
  ☆172Updated 2 months ago
• packit / packit-service
  Packit provided as a service
  ☆42Updated this week
• tpm2-software / tpm2-openssl
  OpenSSL Provider for TPM2 integration
  ☆108Updated 9 months ago
• archlinux / arch-security-tracker
  Arch Linux Security Tracker
  ☆127Updated last year
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆486Updated this week
• gdamjan / secure-boot
  UEFI SecureBoot for ArchLinux
  ☆61Updated 3 years ago
• nibags / apparmor-profiles
  AppArmor Security Profiles for some applications
  ☆35Updated 4 years ago
• mgerstner / oscfs
  FUSE based file system that allows to access open build service (OBS) instances
  ☆11Updated 5 months ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 7 months ago
• gnome-keysign / gnome-keysign
  An easier way to sign OpenPGP keys over the local network. A GTK/GNOME application to use GnuPG for signing other peoples' keys. Quickly,…
  ☆54Updated last year
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆77Updated this week
• openSUSE / obsgit
  Simple bridge between Open Build Server and git
  ☆13Updated 3 years ago
• Fraunhofer-AISEC / libpabc
  ☆14Updated last year
• electrickite / sbkeys
  Simple script to generate Secure Boot keys
  ☆14Updated 4 years ago
• crocs-muni / sec-certs
  Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
  ☆22Updated this week
• systemd / systemd-bootchart
  Boot performance graphing tool
  ☆63Updated 3 weeks ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆61Updated last year
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆84Updated 3 years ago
• flatpak / flatpak-xdg-utils
  Simple portal-based commandline tools for use inside flatpak sandboxes
  ☆39Updated 8 months ago
• rpminspect / rpminspect
  RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools
  ☆59Updated last week
• flatpak / xdg-dbus-proxy
  ☆71Updated last year
• bmwiedemann / theunreproduciblepackage
  The Unreproducible Package
  ☆67Updated 9 months ago
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆29Updated last year
• microsoft / SIKE-challenges
  ☆41Updated last year
• fwupd / firmware-lenovo
  Missing firmware for Lenovo Thinkpad hardware
  ☆134Updated 6 years ago
• fedoradesign / fedora-presentation-template
  Presentation templates with Fedora branding for slide decks / presentations
  ☆27Updated 2 years ago