Pinned Repositories
auto-ig
Automatically do common Instagram actions.
butterfly
Eigen-examples
CS 110C review project for the C++ Eigen library
groupie
Usergroup and keyword ping manager for Discord
habitica-presenter
hc-tools
Aggregate tools that HC members have made.
lima-nixos
True NixOS in lima, based on patryk4815/ctftools
now-playing-api
API to access your currently playing spotify song.
pecho
Painted echo
yutobot-slack
My online presence automator.
starptr's Repositories
starptr/lima-nixos
True NixOS in lima, based on patryk4815/ctftools
starptr/butterfly
starptr/andref-homepages
starptr/dotfiles
starptr/dotfiles-nix
starptr/fleeting
Discord bot that deletes messages in a channel older than k seconds
starptr/gemmini
Berkeley's Spatial Array Generator
starptr/gemmini-rocc-tests
Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator
starptr/guitar-pedal-fw
starptr/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
starptr/metalift
A program synthesis framework for verified lifting applications
starptr/metalift-gemmini-demo-scripts
starptr/morph
NixOS deployment tool
starptr/nix-img-do-x86-builder
Builds NixOS for x86 DigitalOcean droplets
starptr/nix-venus
starptr/nixpkgs
Nix Packages collection
starptr/nuenv
A Nushell environment for Nix
starptr/nvim-config
starptr/nvim-flaked
starptr/nvim-jdtls
Extensions for the built-in LSP support in Neovim for eclipse.jdt.ls
starptr/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
starptr/raycast-scripts
starptr/redwood-tut-1
starptr/stock_simulator
starptr/tenet
high level but thin git wrapper
starptr/tilde-misc-scripts
starptr/tilde-openresty-config
starptr/tilderef-qol-scripts
starptr/tilderef-status-builder
starptr/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs