More
More
-
DB51X Public
The portable version of DB48X for non-SwissMicros platforms.
-
db48x Public
Forked from swissmicros/SDKdemoRPL runtime for the DM42 calculator, in the spirit of HP48/49/50
-
ohmyzsh Public
Forked from ohmyzsh/ohmyzsh🙃 A delightful community-driven (with nearly 1,500 contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, pyt…
Shell MIT License UpdatedMay 4, 2026 -
xl Public
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
-
kata-containers Public
Forked from kata-containers/kata-containersKata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
-
agentsh Public
Forked from canyonroad/agentshExecution-Layer Security (ELS) for AI agents — policy-enforced shell with audit.
Go Apache License 2.0 UpdatedApr 27, 2026 -
recorder Public
A lock-free real-time flight recorder for your C or C++ programs
-
make-it-quick Public
A simple auto-configuring make-only build system
-
sandboxed-containers-operator Public
Forked from openshift/sandboxed-containers-operatorAn operator to enhance an Openshift/Kubernetes cluster to support running sandboxed containers
-
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedMar 24, 2026 -
omarchy Public
Forked from basecamp/omarchyOpinionated Arch/Hyprland Setup
Shell MIT License UpdatedFeb 6, 2026 -
kata-rpm-scanner Public
Forked from confidential-devhub/kata-rpm-scannerFigure which kata rpm is being shipped in a specific OCP version/range
Shell UpdatedFeb 4, 2026 -
-
confidential-containers-guest-components Public
Forked from openshift/confidential-containers-guest-componentsConfidential Containers Guest Tools and Components
-
x-algorithm Public
Forked from xai-org/x-algorithmAlgorithm powering the For You feed on X
-
capnproto Public
Forked from capnproto/capnprotoCap'n Proto serialization/RPC system - core tools and C++ library
C++ Other UpdatedJan 13, 2026 -
-
Some memory usage performance measurements done on Kata Containers
-
workshop-on-ARO-showroom Public
Forked from confidential-devhub/workshop-on-ARO-showroomShell UpdatedNov 28, 2025 -
fedarchy Public
A port of DHH awesome Omarchy. I didn't want to use arch, I like Fedora.
Shell UpdatedOct 15, 2025 -
-
scriptorrhea Public
Various scripts I use for work that really don't go well in any specific place. Probably useless
Shell UpdatedJun 24, 2025 -
-
cloud-api-adaptor Public
Forked from confidential-containers/cloud-api-adaptorAbility to create Kata pods using cloud provider APIs aka the peer-pods approach
Go Apache License 2.0 UpdatedJun 12, 2025 -
openshift-release Public
Forked from openshift/releaseRelease tooling for OpenShift
Shell Apache License 2.0 UpdatedJun 10, 2025 -
trustee Public
Forked from confidential-containers/trusteeAttestation and Secret Delivery Components
Rust Apache License 2.0 UpdatedFeb 5, 2025 -
dm50 Public
Forked from xavierbasc/dm50DM50 is a cheap, powerful, easy to build, open source hardware, and high precision calculator.
GNU General Public License v3.0 UpdatedJan 5, 2025 -
presentations Public
A repository for the Tao3D source code of my presentations
-
coco-pattern Public
Forked from validatedpatterns/coco-pattern