moritzbuhl Goto Github PK

ansible

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications — automate in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com/ansible/

awesome-openbsd

A curated list of awesome OpenBSD resources

chavrprog

AVR programmer based on Chinese ch341a

classical-literary-mongolian-helpers

Helpers to look up some vocabulary

dictd

git repository of dictd releases from https://sourceforge.net/projects/dict/

diffs

Stuff thats WIP

emulate

GitHub Actions for BSD.

emulate-openbsd

GitHub Actions for OpenBSD.

ergodox-firmware

firmware for the ergoDOX keyboard

esp32-fuzzing-framework

A Fuzzing Framework for ESP32 applications

freebsd

FreeBSD src tree (read-only mirror)

itsec-ws22

Resources for Tasks, Homework, and Background for IT-Security Class at TUM WS 2022/2023

java-common-lib

SoSy-Lab Java Common Library

kquic

lean

Lean Theorem Prover

libz

attempt to merge madler/zlib into OpenBSD-src libz

lockfish

analyze netlock in OpenBSD source code with clang and python

mdump

meltdown

Meltdown & Spectre PoC for OpenBSD

mlx

This is an early attempy for a mlx driver.

msun-regress

regression tests for OpenBSD libm ported from FreeBSD

mutest

Multi UDP Test

mystuff

mirror experimental OpenBSD ports I am/was working on

ngtcp2

ngtcp2 project is an effort to implement IETF QUIC protocol

nsd

The NLnet Labs Name Server Daemon (NSD) is an authoritative, RFC compliant DNS nameserver.

openbsd-wip

OpenBSD work in progress ports

opendetex

Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources

opendict

look up dictionary entries in dictd format.

openiked-portable

Internet Key Exchange version 2 (IKEv2) daemon - portable version of OpenBSD iked

openiked-portable-sr.ht

sr.ht ci for openiked-portable