lorenzleutgeb

atlas

Automated Amortised Complexity Analysis of Self-Adjusting Data Structures

aoc

:snowflake::evergreen_tree::calendar::santa:

nur

radicle-nix

👾 + ❄️ = 🎆

abort-on-warn

apalache

APALACHE: symbolic model checker for TLA+

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

buildbot-nix

A nixos module to make buildbot a proper Nix-CI.

cosmos.nix

Nix Integration with Cosmos Projects

external-editor-revived

External Editor Revived is a Thunderbird MailExtension which allows editing emails in programs such as Vim, Neovim, Emacs, etc.

gitalias

Git alias commands for faster easier version control

gradle

Adaptable, fast automation for all

harmonia

Nix binary cache implemented in rust using libnix-store (maintainer: @Mic92)

heartwood

Mirror of ❤️🪵 Radicle Heartwood Protocol & Stack

home-manager

Manage a user environment using Nix [maintainer=@rycee]

io-reactor

Rust implementation of reactor pattern for I/O resources

jdd

A semantic JSON compare tool

junk

lix

lorenzleutgeb

A guide to my stuff on GitHub

mCaptcha

A no-nonsense CAPTCHA system with seamless UX | Backend component

ngipkgs

Nix packages and services for projects supported through the NGI program

nix

Nix, the purely functional package manager

nixos-infra

NixOS configurations for nixos.org and its servers

NixOS-Users-Against-MIC-Sponsorship.github.io

nixpkgs

Nix Packages collection

pretalx

Conference planning tool: CfP, scheduling, speaker management

radicle-vscode-extension

A VS Code extension bringing support for the Radicle network to your IDE.

rosenpass

Rosenpass is a post-quantum secure VPN that uses WireGuard to transport the actual data.

test