spinda

computer scientist & firewall dragon | please don't contact me over email

@PLSysSecUC San Diego

Pinned Repositories

webcompat-measurement-pipeline
Language:Jupyter Notebook0 2 01
cachet
🏅 A domain-specific language for trustworthy JIT implementation
Language:Boogie0 10 100
cachet-firefox
🦊 Trustworthy CacheIR in Firefox
0 9 00
Destroy-Windows-10-Spying
🕵️ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
Language:C#197 17 062
hyper-websocket
🔌 Upgrade hyper HTTP requests to WebSocket connections, server-side
Language:Rust9 3 00
imagenetscraper
👁 Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
Language:Python25 2 16
lavender
💜 The slightly more compromising Python code formatter
Language:Python10 3 04
liquidhaskell-cabal
💧 Liquid Haskell integration for Cabal and Stack
Language:Haskell24 5 106
react-redux-chatgpt
🤖 Prototype your webapp's frontend by using ChatGPT as your backend
Language:JavaScript38 3 01

spinda's Repositories

spinda/react-redux-chatgpt
🤖 Prototype your webapp's frontend by using ChatGPT as your backend
Language:JavaScript38 3 01
spinda/imagenetscraper
👁 Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
Language:Python25 2 16
spinda/lavender
💜 The slightly more compromising Python code formatter
Language:Python10 3 04
spinda/fantasque-sans-ligatures
📝 Coding-ligature-free fork of the Fantasque Sans Mono programming font
Language:Python8 2 21
spinda/mastodon-documentation
Full documentation repository for Mastodon
3 2 06
spinda/af_lwn
🐧 LWN.net plugin for Tiny Tiny RSS
Language:PHP1 2 02
spinda/graphology-graphml
GRAPHML parser & writer for graphology.
Language:JavaScript1 1 01
spinda/mozilla-unified
🦊 Personal development fork of the Mozilla monorepo
1 2 01
spinda/ws-pacemaker
💗 Drop-in WebSocket ping/pong heartbeat handling for Node.js
Language:JavaScript1 2 0
spinda/adblock-rust-ffi
An FFI crate to expose functionality from brave/adblock-rust
Language:Rust1 0
spinda/atomically
Read and write files atomically and reliably.
Language:JavaScript
spinda/brave-browser
Next generation Brave browser for macOS, Windows, Linux, and eventually Android
Language:JavaScript1 0
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
Language:C++1 0
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.
Language:Rust0 0
spinda/cargo-semver-checks-action
A GitHub Action for running cargo-semver-checks
Language:TypeScript0 0
spinda/cedar
Core implementation of the Cedar language
Language:Rust0 0
spinda/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
Language:Rust0 0
spinda/chromewhip
Scriptable Google Chrome™ as a HTTP service + asyncio driver
Language:Python1 0
spinda/corral
solver for the reachability modulo theories problem
Language:Boogie1 0
spinda/httparse
A push parser for the HTTP 1.x protocol in Rust.
Language:Rust1 0
spinda/node-addon-api
Module for using Node-API from C++
Language:C++1 0
spinda/prettierx
less opinionated code formatter fork of prettier
Language:JavaScript1 0
spinda/smartdry-lives
👕 Resurrect your SmartDry IoT dryer sensor - no soldering required!
Language:Python1 0
spinda/smol
A small and fast async runtime for Rust
Language:Rust1 0
spinda/TextToTalk
Chat TTS plugin for Dalamud. Has support for triggers/exclusions, Amazon Polly, and more!
Language:C#0 0
spinda/tst-more-tree-commands
Provides extra tree manipulation commands for Tree Style Tab.
Language:JavaScript1 0
spinda/tsyringe
Lightweight dependency injection container for JavaScript/TypeScript
Language:TypeScript
spinda/userscripts
📜 Personal userscript collection
Language:JavaScript2 01
spinda/vuepress
📝 Minimalistic Vue-powered static site generator
Language:JavaScript2 0
spinda/vuepress-core
test repository; please ignore
Language:JavaScript2 0