Stars
An open source headless CMS / real-time database. Powerful table editor, full-text search, and SDKs for JS / React / Svelte.
Capability Secure Distributed Infrastructure
A WIP Smithay-based Wayland compositor, inspired by AwesomeWM and configured in Lua or Rust
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Creusot helps you prove your code is correct in an automated fashion.
Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Stochastic Ordering-Based Railway Operations Simulation
An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
Utility to decrypt App Store apps on jailbroken iOS 11.x
NIx Language server, an incremental analysis assistant for writing in Nix.
Emacs interactively installing its own 3rd party dependencies
Companion tool to https://github.com/ryantm/agenix
An open source, self-hosted implementation of the Tailscale control server
🌲 Structural editing in Emacs for any™ language!
Clone of isabelle, with LSP extensions in seperate branches