Alexander Ben Nasrallah's repositories
9fans-go
Packages and commands for using Plan 9 from Go
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib
The Agda standard library
cabal-extras
A tool suite to aid Haskell development using `cabal-install`
chrono
Date and time library for Rust
essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
essence-of-live-coding-tutorial
Tutorial for essence-of-live-coding
ghc.nix
Nix (shell) expression for working on GHC
home-manager
Manage a user environment using Nix [maintainer=@rycee]
nixpkgs
Nix Packages collection
passage
A fork of password-store (https://www.passwordstore.org) that uses age (https://age-encryption.org) as backend.
plan9port
Plan 9 from User Space
plasma-manager
Manage KDE Plasma with Home Manager
poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
rustler
Safe Rust bridge for creating Erlang NIF functions
xmobar
A minimalistic status bar