Shea Levy

nix-plugins. Collection of miscellaneous plugins for the nix expression language

nix-buffer. nix-shell for emacs buffers

nix-exec. Run programs defined in nix expressions

long-shebang. A tool for #! scripts with more than one argument

nix-adt. A library for using algebraic data types in the Nix expression language.

declarative-hydra-example. An example illustrating declarative hydra projects

nixos-riscv-bootstrap. Nix expressions to help bootstrap our way to full RISC-V support on NixOS.

cat-fiat. An attempt to formalize unix cat in fiat

nixos-types. Data types to represent the Nix language

verified-left-pad. A verified memory-safe correct implementation of left-pad in ats2

dotfiles. Various configuration files

e11y. An event-oriented observability library

elvysh-project-documentation. Documentation for the elvysh ATS library project

eventuo11y. An event-oriented observability library

inherit-local. An emacs library for inheriting buffer-local variables

elvysh-main. Headers to define alternative program entry points.

lambductive. A lambda calculus with tarski universes, pi types, and self-referential expressions

xcode-types. Data types to represent Xcode projects

ip-quoter. Quasiquoter for IP addresses

gvoice-ruby. Google Voice Ruby Client

nix. Nix, the purely functional package manager

xcode2nix. Generate Nix build instructions from an xcode build file

ofborg-stats. Library for parsing out ofborg statistics

cowsay-haskell. A cowsay implementation in Haskell

open-instruments-core. Core open instruments API

indexed-exception. Haskell

intentionel. Intention tracking with org-brain

nixos-images. Automatically build (netboot) images for NixOS [maintainer=@Mic92]

nixos-anywhere. install nixos everywhere via ssh [maintainer=@numtide]

nixpkgs-development-support. Out-of-tree implementation of https://github.com/NixOS/rfcs/pull/10