-
Research & Instructional Computing @DavidsonCollege
- in/possibly-mike
Starred repositories
GoSlurmMailer - drop in replacement for default slurm MailProg. Delivers slurm job messages to various destinations.
fru-tool is a command-line utility for generating IPMI FRU binary data files
Minimal, best-practice Python project template with src layout, pytest tests, Black/Ruff formatting and linting, mypy type checking, Invoke task automation, and pip-tools–based dependency managemen…
A CLI tool that deletes half your files — perfectly balanced, as all things should be.
User-mode networking for unprivileged network namespaces
Official repository for the BPF Performance Tools book
OCI container images. A Slinky project.
Rapid builds of small Conda-based containers using micromamba.
A simple yet powerful tool to turn traditional container/OS images into unprivileged sandboxes.
JupyterHub authenticator that hands out temporary accounts for everyone. For use in tmpnb.org
A powerful ui client for ETCD v3. Provides desktop application and web packages.
Repository for the CIML 2025 Summer Institute training materials.
Next-gen CLI tool for foreman (Foreman-specific commands)
A Visual Studio Code theme for those of us who like to code late into the night!
A tool to scrape a Prometheus client and dump the result as JSON.
This open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) through real-world, cross-language examples in .NET, Java, TypeScript, JavaScript, Rust and Python. Designed …
Makefile Tools offers a robust workflow for Makefile projects in VS Code, with pre and post-configure script automation, easy configuration switching, and IntelliSense support for Makefile. The cus…
CMake Tools provides a robust, convenient workflow for CMake projects in VS Code. It simplifies configurations with CMake presets, supports IntelliSense and built-in debugging for CMake scripts, an…
Official repository for the Microsoft C/C++ extension for VS Code.
Container Tools Extension for Visual Studio Code
demos, scripts, samples, and code from the two bobs who work at Microsoft on SQL Server
Adds Remote SSH support for Hammer Foreman CLI


