Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

A user-friendly, lightweight TUI for disk imaging

Log file navigator

Lightning-fast and Powerful Code Editor written in Rust

A modern editor with a backend written in Rust.

Jujutsu version control mode for Emacs inspired by Magit

A cross-platform, safe, pure-Rust graphics API.

High-performance TRAMP backend using JSON-RPC instead of shell parsing

21st century AD

A project to digitalise results from physics into Lean.

Daemon to ban hosts that cause multiple authentication errors

Proof of work algorithm based on random code execution

Userspace WireGuard® Implementation in Rust

A game theoretic approach to explain the output of any machine learning model.

The Media Server NixOS Module

Fast, secure, efficient backup program

OpenZFS on Linux and FreeBSD

Cross platform utilities useful for configuring features and assessing health on SATA, SAS, NVMe, and USB storage devices.

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Regulate fan speed according to hard drive temperature

Distributed High-Performance Symbolic Regression in Julia

A deep learning framework for symbolic optimization.

Use Samsung Galaxy SmartTags on any Android device

Detect CPU features with single-file

Build system and configuration files for generating and building ZMK firmware with Nix

A minimalistic and high-performance SAT solver

Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

Nurikabe puzzle solver

This repo holds materials for our Splash 2017 class on Z3.