Create NixOS VMs on macOS or Linux using Lima

Fil-C: completely compatible memory safety for C and C++

Betrusted main SoC design

Easily document cables and wiring harnesses.

A collection of various notebook extensions for Jupyter

Locally run an Instruction-Tuned Chat-Style LLM

Use GHC's Memory Allocator from C, C++, and Rust

OS-agnostic, system-level binary package manager and ecosystem