thiskappaisgrey
Blog post reader and tutorial follower. Bachelors UCSB '23. Masters UCSB (expected) '24.
San Francisco
Pinned Repositories
SBHacks2022
React app capable of taking uploaded video/audio files of lectures and summarizing key points
cstack-db-tutorial-zig
https://cstack.github.io/db_tutorial/ - translated to zig
dotfiles
meow-ts
neovim-config
nixos-config
nixpkgs-esp-dev-rust
Nix flake and overlay for ESP8266 and ESP32 development.
research-stuff
thanawat.xyz
My Personal website
thiskappaisgrey's Repositories
thiskappaisgrey/nixpkgs-esp-dev-rust
Nix flake and overlay for ESP8266 and ESP32 development.
thiskappaisgrey/meow-ts
thiskappaisgrey/dotfiles
thiskappaisgrey/cstack-db-tutorial-zig
https://cstack.github.io/db_tutorial/ - translated to zig
thiskappaisgrey/neovim-config
thiskappaisgrey/research-stuff
thiskappaisgrey/all-the-icons.el
A utility package to collect various Icon Fonts and propertize them within Emacs.
thiskappaisgrey/nixos-config
thiskappaisgrey/thanawat.xyz
My Personal website
thiskappaisgrey/automated-verif-cs267-code
thiskappaisgrey/coding-exercises
thiskappaisgrey/distributed-computing-system
thiskappaisgrey/fusesoc
Package manager and build abstraction tool for FPGA/ASIC development
thiskappaisgrey/haskell-tree-sitter
Haskell bindings for tree-sitter
thiskappaisgrey/home-manager
Manage a user environment using Nix [maintainer=@rycee]
thiskappaisgrey/hs-bindgen-struct-example
thiskappaisgrey/improved-guacamole
thiskappaisgrey/interaction-nets
An implementation of the: https://github.com/inpla/inpla language in Haskell so I can understand how it works. IDK what I'm doing and cannot guarantee correctess..
thiskappaisgrey/iot-farm-app
thiskappaisgrey/keyboard-firmware
thiskappaisgrey/lakeroad
FPGA synthesis tool powered by program synthesis
thiskappaisgrey/machine-hs
thiskappaisgrey/my-haskell-animations
animations I made in haskell for teaching / other stuff
thiskappaisgrey/nixpkgs
Nix Packages collection
thiskappaisgrey/nuenv
A Nushell environment for Nix
thiskappaisgrey/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
thiskappaisgrey/redis-in-rust
thiskappaisgrey/security-nix-cve-project
thiskappaisgrey/thiskappaisgrey
thiskappaisgrey/yosys
Yosys Open SYnthesis Suite