A suite of utilities to help with software supply chain challenges on nix targets

Run LLMs and agents on TEEs leveraging NVIDIA GPU TEE and Intel TDX technologies.

A collection of projects designed to help developers quickly get started with building deployable applications using the Claude API

Deploy any app to TEE.

Convert poetry projects to nix automagically [maintainer=]

The Official Python SDK for Alpaca API

Use your locally running AI models to assist you in your web browsing

The most no-nonsense, locally or API-hosted AI code completion plugin for Visual Studio Code - like GitHub Copilot but 100% free.

A minimal kvm example

Rust wrapper around the C execvp function, which replaces the current process with the specified program and arguments.

unclutter your .profile

My NixOS configuration as a NixOS module

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Modular NixOS configuration

Nix Packages collection & NixOS

My dotfiles

Linux kernel source tree

My NixOS dotfiles for desktops and servers

KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)

NixOS configuration for my personal computers

My NixOS dotfiles

Atomic secret provisioning for NixOS based on sops

🤖 Just a command runner

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Python library for configuring and building unikernels

Vitis_Accel_Examples

This project is an archive and has been moved to https://github.com/TUM-DSE/ls1-drinks-accounting.

This project is an archive and has been moved to https://github.com/TUM-DSE/ls1-drinks-accounting.