Skip to content
View anna328p's full-sized avatar
💜
meow
💜
meow

Highlights

  • Pro

Organizations

@NixOS

Block or report anna328p

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
anna328p/README.md

hi there 👋

i'm anna (she/her or it/its). reach me on discord at @ap5.

i want to design and build computing systems, tools, and applications with an emphasis on correctness, reliability, user experience, and maintainability.

my more specific interests and skills include:

  • declarative, purely functional programming languages, primarily Nix and Haskell
  • DevOps, declarative software deployment, reproducible builds, Nix and NixOS
  • mathematical logic, formal verification, type theory
  • embedded development and hardware design
  • competence in Ruby, systems programming, and the Unix environment

i'm currently:

  • designing an operating system and package collection based on the Nix language and package manager, inspired by NixOS
  • learning the Rust and Haskell programming languages
  • building an Android app that helps users navigate the local public transit system

Pinned Loading

  1. arch-community/qbot arch-community/qbot Public

    a general purpose utility Discord bot, originally created for the Arch Linux community

    Ruby 16 10

  2. lipusona lipusona Public

    o kama sona e toki pona lon lipu sona!

    Slim 1

  3. inexcomp/NumpadA inexcomp/NumpadA Public

    Programmable mechanical numpad

    XSLT 9

  4. configuration.nix configuration.nix Public

    My Nix configuration files

    Nix 2

  5. aoc2021 aoc2021 Public

    Ruby 3

  6. linjasuwi linjasuwi Public

    new sitelen pona font

    HTML 33 3