Alex Rice alexarice

Achievements

Achievements

Highlights

• Pro

Popular repositories Loading

1. phase-rs phase-rs Public

   Prototype interpreter for "Just a phase" language

   Rust 10

2. dotfiles dotfiles Public

   Nix 4 1

3. GroupsUF GroupsUF Public

   TeX 3

4. all-agda all-agda Public

   A nix flake which provides compatible library versions for various versions of Agda.

   Nix 3 1

5. spacemacs-nix spacemacs-nix Public

   Emacs Lisp 2 1

6. nixmacs nixmacs Public

   Emacs distribution using the nix module system

   Nix 2