Freeze pip-installable packages into Nix expressions [maintainer=@datakurre]

Convert poetry projects to nix automagically [maintainer=@adisbladis,@cpcloud]

SSH server auditing (banner, key exchange, encryption, mac, compression, compatibility, security, etc)

Smart SSH, HTTPS and MySQL bastion that requires no additional client-side software

Linux kernel source tree with OpenPaX patch

Bluespec Compiler (BSC)

Chisel: A Modern Hardware Design Language

PKM for the LSP

A list of awesome resources for tmux

A terminal workspace with batteries included

The Rust toolchain installer

🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Mirror of vikunja from https://code.vikunja.io/api

Tutorials and courses for Z3

A high-performance, zero-overhead, extensible Python compiler using LLVM

Bochs - Cross Platform x86 Emulator Project

A static analyzer for Java, C, C++, and Objective-C

Coverity plugin for Jenkins

Converts Coverity results to SARIF standard

A reddit-like content aggregator and micro-blogging platform for the fediverse.

A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]

pgAdmin is the most popular and feature rich Open Source administration and development platform for PostgreSQL, the most advanced Open Source database in the world.

Curated list of resources for Embedded and Low-level development in the Rust programming language

Terraforming Mars Boardgame

A modern alternative to ls

Devicetree Specification document source files

A collaborative IPv6 book

Mirror of review.sourcearcade.org/flashprog

Damn Vulnerable UEFI