Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Nix template for the chisel-based industrial designing flows.

Spike, a RISC-V ISA Simulator

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

🤖 Just a command runner

Automatic verification of LLVM optimizations

Vector Acceleration IP core for RISC-V*

A YAML parser and emitter in C++

Implementation of threaded splay tree

💰 A bash script (CLI) for displaying crypto currencies market data in a terminal 🖥

Generate C++ llvm code from llvm IR

LAVA: Large-scale Automated Vulnerability Addition

Read RISC-V ISA Manual from your terminal with Glow

Expressive Vector Engine - SIMD in C++ Goes Brrrr

Uses the Nix package manager to visualize the dependencies of a given package

✍️ Fusuma makes slides with Markdown easily.

Doing some compiler related stuff in Rust and maybe C++ on top of LLVM

NixOS configs. Flakes, multiple machines, ZFS on root, disko.

Nixy is a Hyprland NixOS configuration with home-manager, secrets and custom theming all in one place. It's a simple way to manage your system configuration and dotfiles.

age-encrypted secrets for NixOS and Home manager

SCHeMe UnterstüTZung — easy Guile Scheme C++ bindings

Valgrind with support for the RISCV64/Linux platform.

Personal nix configs

NixOS MicroVMs

A curated list of amazingly awesome open-source sysadmin resources.

A list of Free Software network services and web applications which can be hosted on your own servers

Configuration to setup my nix enabled systems

Network-wide ads & trackers blocking DNS server