spinda
computer scientist & firewall dragon β’ β§οΈ β’ π©·ππ β’ email: mds009@ucsd.edu
@PLSysSecUC San Diego
Pinned Repositories
webcompat-measurement-pipeline
cachet
π A domain-specific language for trustworthy JIT implementation
cachet-firefox
π¦ Trustworthy CacheIR in Firefox
Destroy-Windows-10-Spying
π΅οΈ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
hyper-websocket
π Upgrade hyper HTTP requests to WebSocket connections, server-side
imagenetscraper
π Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
lavender
π The slightly more compromising Python code formatter
liquidhaskell-cabal
π§ Liquid Haskell integration for Cabal and Stack
react-redux-chatgpt
π€ Prototype your webapp's frontend by using ChatGPT as your backend
spinda's Repositories
spinda/react-redux-chatgpt
π€ Prototype your webapp's frontend by using ChatGPT as your backend
spinda/imagenetscraper
π Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
spinda/lavender
π The slightly more compromising Python code formatter
spinda/fantasque-sans-ligatures
π Coding-ligature-free fork of the Fantasque Sans Mono programming font
spinda/mastodon-documentation
Full documentation repository for Mastodon
spinda/af_lwn
π§ LWN.net plugin for Tiny Tiny RSS
spinda/graphology-graphml
GRAPHML parser & writer for graphology.
spinda/mozilla-unified
π¦ Personal development fork of the Mozilla monorepo
spinda/ws-pacemaker
π Drop-in WebSocket ping/pong heartbeat handling for Node.js
spinda/adblock-rust-ffi
An FFI crate to expose functionality from brave/adblock-rust
spinda/atomically
Read and write files atomically and reliably.
spinda/axis-js
A collection of Node.js packages written in TypeScript, helping you to interact with network cameras from Axis Communication.
spinda/brave-core
Core engine for the Brave browser for macOS, Windows, Linux, and eventually Android. For the issue log, please see https://github.com/brave/brave-browser
spinda/byteorder-pack
A binary data reader and writer that is similar to Python's struct module, but makes use of Rust's typing system.
spinda/cargo-semver-checks-action
A GitHub Action for running cargo-semver-checks
spinda/cedar
Core implementation of the Cedar language
spinda/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
spinda/chromewhip
Scriptable Google Chromeβ’ as a HTTP service + asyncio driver
spinda/corral
solver for the reachability modulo theories problem
spinda/httparse
A push parser for the HTTP 1.x protocol in Rust.
spinda/node-addon-api
Module for using Node-API from C++
spinda/prettierx
less opinionated code formatter fork of prettier
spinda/smartdry-lives
π Resurrect your SmartDry IoT dryer sensor - no soldering required!
spinda/smol
A small and fast async runtime for Rust
spinda/TextToTalk
Chat TTS plugin for Dalamud. Has support for triggers/exclusions, Amazon Polly, and more!
spinda/tst-more-tree-commands
Provides extra tree manipulation commands for Tree Style Tab.
spinda/tsyringe
Lightweight dependency injection container for JavaScript/TypeScript
spinda/userscripts
π Personal userscript collection
spinda/vuepress
π Minimalistic Vue-powered static site generator
spinda/vuepress-core
test repository; please ignore