A secure, fast, and adaptable OS based on the seL4 microkernel

A sliding, tiling window manager for MacOS.

A Rust based utilty toolbox for developers. Inspired from https://it-tools.tech

virtio implementation

A lightweight tool for deploying and managing containerised applications across a network of Docker hosts. Bridging the gap between Docker and Kubernetes ✨

Native Rust library for managing control groups under Linux

Virtual machine's guest memory crate

Kata 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…

IP addresses break, dial keys instead. Modular networking stack in Rust.

Build type-safe finite state machines with higher-order states.

a game where you're given a potato and your job is to implement a firmware for it

Vitess for Postgres

Prolog puzzles for fun and profit (mostly fun)

Async-friendly QUIC implementation in Rust

SignalDB is a reactive, local-first JavaScript database designed for modern web applications. It combines signal-based reactivity with powerful local data management and real-time synchronization c…

(EXPERIMENTAL. NOT DONE) A QUIC implementation in Zig with HTTP/3, multiplexed streams, congestion control (NewReno, BBR), and low-latency UDP transport.

Digital planner for Supernote and ReMarkable // Support Ukraine 🇺🇦 https://war.ukraine.ua/support-ukraine/

Dashboards and notebooks in a single place. Create powerful and flexible dashboards using code, or build beautiful Notion-like notebooks and share them with your team.

Plan 9 in Rust

This repository contains various attack against Large Language Models.

A fully static distributed library system powered by IPFS, SQLite and GitHub

the LLM vulnerability scanner

Kotlin, Java, and Android client for Solana ⛓️

A library for building fast, reliable and evolvable network services.

Powerful menu bar manager for macOS

Database diagrams editor that allows you to visualize and design your DB with a single query.

Ruroco is a tool that lets you execute commands on a server by sending UDP packets. The commands are configured on the server side, so the client does not define what is going to be executed, it on…

Select, put and delete data from JSON, TOML, YAML, XML, INI, HCL and CSV files with a single tool. Also available as a go mod.