Skip to content
View thiskappaisgrey's full-sized avatar
16 followers · 21 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@Team4159

Block or report thiskappaisgrey

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
thiskappaisgrey/README.md

Hi there 👋

Here are some ideas to get you started:

  • 🔭 I’m currently working on: My Masters degree at UCSB, my Dotfiles
  • 🌱 I’m currently learning: Category theory, Haskell, Rust, and various topics in Programming Languages and security
  • 👯 I’m looking to collaborate on: Anything! Feel free to reach out!
  • 💬 Ask me about: Haskell, Nix, and Emacs!
  • 📫 How to reach me: My school email: [email protected] or my personal email, [email protected]

Pinned Loading

  1. nixos-config nixos-config Public

    Nix

  2. thanawat.xyz thanawat.xyz Public

    My Personal website

    CSS

  3. CAWRESTLER/SBHacks2022 CAWRESTLER/SBHacks2022 Public

    React app capable of taking uploaded video/audio files of lectures and summarizing key points

    JavaScript

  4. nixpkgs-esp-dev-rust nixpkgs-esp-dev-rust Public

    Forked from mirrexagon/nixpkgs-esp-dev

    Nix flake and overlay for ESP8266 and ESP32 development.

    Nix 6 5