The Wayback Machine - https://web.archive.org/web/20220409043545/https://github.com/aatxe
Skip to content
Avatar
🐫
(λx. x x)(λx. x x)
🐫
(λx. x x)(λx. x x)
264 followers · 74 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@plasma-umass @idris-hackers @nuprl @rust-lang @Pdgn @rust-lang-nursery @NGG-Group-CS320 @OPLSS @silcgroup
Block or Report

Block or report aatxe

Report abuse

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

Report abuse

Pinned

  1. irc Public

    the irc crate – usable, async IRC for Rust

    Rust 453 95

  2. alectro Public

    A terminal IRC client in Rust.

    Rust 56 3

  3. oxide Public

    The essence of Rust.

    OCaml 102 6

  4. meep Public

    A simple pasting service with syntax highlighting support.

    Rust 6

  5. plasma-umass/Tortoise Public archive

    Tortoise: Interactive System Configuration Repair

    Scala 5

  6. plasma-umass/Rehearsal Public

    Rehearsal: A Configuration Verification Tool for Puppet

    Scala 11 3

251 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to aatxe/dotfiles, aatxe/oxide, aatxe/irc and 2 other repositories

Contribution activity

April 2022

aatxe has no activity yet for this period.