Pinned Repositories
clay
The Clay programming language
dyndnsd
Dynamic DNS Daemon for OpenBSD
emulate
GitHub Actions for BSD.
helloworld-ga
Hello World! with a Genetic Algorithm!
jotspot
A command-line tool for linting media
kernel-development-for-beginners
munit
µnit is a small testing framework for C
wol
A minimal, fast, Wake-On-LAN client.
xget
A minimal, secure, command-line XDCC client.
mario-campos's Repositories
mario-campos/emulate
GitHub Actions for BSD.
mario-campos/dyndnsd
Dynamic DNS Daemon for OpenBSD
mario-campos/wol
A minimal, fast, Wake-On-LAN client.
mario-campos/xget
A minimal, secure, command-line XDCC client.
mario-campos/jotspot
A command-line tool for linting media
mario-campos/kernel-development-for-beginners
mario-campos/munit
µnit is a small testing framework for C
mario-campos/snapraid
A backup program for disk arrays. It stores parity information of your data and it recovers from up to six disk failures
mario-campos/cppcheck
static analysis of C/C++ code
mario-campos/clifm
The shell-like, command line terminal file manager: simple, fast, extensible, and lightweight as hell.
mario-campos/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
mario-campos/documentation
📘 Nextcloud documentation
mario-campos/emulate-images
The virtual-machine images that power Emulate!
mario-campos/fbinfer-action
mario-campos/flawfinder
a static analysis tool for finding vulnerabilities in C/C++ source code
mario-campos/freebsd-doc
FreeBSD doc tree (read-only mirror)
mario-campos/gh-actions-importer
GitHub Actions Importer helps you plan and automate the migration of Azure DevOps, CircleCI, GitLab, Jenkins, and Travis CI pipelines to GitHub Actions.
mario-campos/mario-campos.github.io
mario-campos/maven-dependency-submission-action
GitHub Action for submitting Maven dependencies
mario-campos/netbsd
Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
mario-campos/openiked-portable
Internet Key Exchange version 2 (IKEv2) daemon - portable version of OpenBSD iked
mario-campos/pulumi-provider-boilerplate
Boilerplate showing how to create a native Pulumi provider
mario-campos/pulumi-proxmoxve
A Pulumi provider for creating and managing Proxmox VE resources.
mario-campos/qemu-test
mario-campos/sdorfehs
A tiling window manager
mario-campos/setup-stubcc
A GitHub Action for downloading and installing mario-campos/stubcc as gcc and clang.
mario-campos/stubcc
The stub C "Compiler"
mario-campos/torbox
mario-campos/weechat
The extensible chat client.
mario-campos/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.