Skip to content
View breitnw's full-sized avatar
23 followers · 15 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report breitnw

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
breitnw/README.md

I have moved to Codeberg. Please go there to see my current work!

Pinned Loading

  1. clover clover Public

    A graphical MPD client for music collectors and visualization lovers (read-only mirror of https://codeberg.org/breitnw/clover)

    Haskell

  2. micromusic micromusic Public

    A tiny, lightweight miniplayer for Apple Music, built on SDL2

    Rust 8

  3. nixos nixos Public

    My NixOS / Asahi Linux config (read-only mirror of https://codeberg.org/breitnw/nixos)

    Nix 20 1

  4. PRL-PRG/r-compile-server PRL-PRG/r-compile-server Public

    New R compile server

    R 5 1

  5. stlc-termination stlc-termination Public

    Proof of termination for the simply-typed lambda calculus with evaluation contexts (in-progress)

    Agda

  6. ndh4/contracts-and-testing ndh4/contracts-and-testing Public

    Forked from LLazarek/blame-evaluation-gt

    Racket 1