Stringy/configs
Just some dotfiles...
Repositories
Stringy/openshift-docs
OpenShift 3 and 4 product and community documentation
Stringy/novelWriter
novelWriter is an open source plain text editor designed for writing novels.
Stringy/bpf-verifier
An F*-backed BPF formal verifier
Stringy/proof-copilot
A Copilot-CLI Plugin for F* and Related Tools
Stringy/bpfstar
F* & Pulse Library for Developing BPF
Stringy/FStar
A Proof-oriented Programming Language
Stringy/gileshutton.com
Source of my website
Stringy/bpf-mcp
An MCP server for BPF/BTF inspection and development
Stringy/Stringazite
My Custom Bazzite image
Stringy/choctopus44-config
Choctopus44 Configuration
Stringy/openshift-release
Release tooling for OpenShift
Stringy/Tinker
Survival walking simulator game or something
Stringy/falco-libs
libsinsp, libscap, the kernel module driver, and the eBPF driver sources
Stringy/sta
This is an unofficial system for Foundry VTT using Modiphius's Star Trek Adventures 2d20 RPG. This system attempts to replicate the feeling of playing through an episode of the epic SciFi that is Star Trek. I am in no way associated with Modiphius.
Stringy/lily58-wireless-zmk-config
Stringy/phalanx
BPF-based system inspection library
Stringy/quest-helper
Helps with Quests.
Stringy/godot
Godot Engine – Multi-platform 2D and 3D game engine
Stringy/collector-berzerkening
Collector: The Berserkening
Stringy/raise-layout
My Dygma Raise Layouts backup
Stringy/dev-tools
Repository of useful tools and scripts
Stringy/collector-devenv
Stringy/wisdom
The Wisdom Programming Language
Stringy/dev_environment
A set of Docker environments with my typical development configurations.
Stringy/SunglassDbg
The Sunglass Debugger
Stringy/grape
Go Reddit Api PackagE
Stringy/rust-chess
Rust implementation of a Chess engine
Stringy/unnamed-roguelite
Stringy/jrnl
Tool for writing and manipulating a diary/journal from the command line.