Skip to content
View nlintn's full-sized avatar
🐧
🐧
16 followers · 42 following

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: Pair Extraordinaire

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: Pair Extraordinaire

Highlights

  • Pro

Organizations

@OsirisRTOS

Block or report nlintn

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nlintn/README.md

Pinned Loading

  1. nix-config nix-config Public

    my NixOS config

    Nix 1 1

  2. nixln-edit nixln-edit Public

    Tool for temporary changes of symlink targets (e.g. into /nix/store)

    C 1 1

  3. nixpkgs-overlay nixpkgs-overlay Public

    Nix

  4. poly-reductions poly-reductions Public

    Forked from rosskopfs/poly-reductions

    Polynomial-time reductions in Isabelle/HOL

    Isabelle