Lists (3)
Starred repositories
From Zero to QED: An informal introduction to formality with Lean 4
An ergonomic ultra low-profile, split keyboard with BLE wireless, 3×5+2 layout, designed for portability.
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
A streaming multimodal database for Edge AI, and Edge Computing.
Eclipse iceoryx2™ - true zero-copy inter-process-communication with a Rust core
An example demonstrating how to maintain consistency in the absence of transactions, using the Write Last, Read First principle featuring TigerBeetle
Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Ships now with an embedded key-value store.
IP addresses break, dial keys instead. Modular networking stack in Rust.
Gthulhu optimizes cloud-native workloads using the Linux Scheduler Extension for different application scenarios.
wavewave / nixos-shell
Forked from chrisfarms/nixos-shellspawn ephemeral development environments in containers. Like nix-shell only more so!
Embedded durable workflows for Golang similar to DTFx/Cadence/Temporal
Low profile split keyboard with Corne 42 Layout and Cerry ULP switches. (6mm height)
Balios is a high-performance in-memory cache for Go based on W-TinyLFU, designed for maximum throughput, optimal hit ratio, advanced security & observability.
High-performance configuration management framework for Go applications with zero-allocation performance, universal format support (JSON, YAML, TOML, HCL, INI, Properties), and an ultra-fast CLI po…
An extensible and keyboard-focused web browser
Synchronizes the clipboard across multiple X11 and wayland instances running on the same machine.