Mario Campos's repositories
gh-code-scanning
A GitHub CLI extension for GitHub Code-Scanning!
cppcheck
static analysis of C/C++ code
clifm
The shell-like, command line terminal file manager: simple, fast, extensible, and lightweight as hell.
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
emulate-images
The virtual-machine images that power Emulate!
flawfinder
a static analysis tool for finding vulnerabilities in C/C++ source code
free
free command for OpenBSD.
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.
maven-dependency-submission-action
GitHub Action for submitting Maven dependencies
netbsd
Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
openbsd-src
Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
openiked-portable
Internet Key Exchange version 2 (IKEv2) daemon - portable version of OpenBSD iked
pulumi-proxmoxve
A Pulumi provider for creating and managing Proxmox VE resources.
sdorfehs
A tiling window manager
setup-stubcc
A GitHub Action for downloading and installing mario-campos/stubcc as gcc and clang.
stubcc
The stub C "Compiler"
weechat
The extensible chat client.
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.