spinda

computer scientist & firewall dragon • please don't contact me over email (unless you ping me first!)

@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#199 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/liquidhaskell-cabal
💧 Liquid Haskell integration for Cabal and Stack
Language:Haskell24 5 106
spinda/hyper-websocket
🔌 Upgrade hyper HTTP requests to WebSocket connections, server-side
Language:Rust9 3 00
spinda/liquidhaskell-cabal-demo
🚤 Test drive Liquid Haskell integration for Cabal and Stack
Language:Haskell6 4 21
spinda/runstone
⌚ Android + Pebble app for timing my morning run
Language:Kotlin3 2 01
spinda/rust-www
The Rust website
Language:HTML2 2 01
spinda/websocket-transport
📻 Easy async WebSocket wrapper which implements Stream + Sink for String
Language:Rust2
spinda/230-wi19-web
Public course materials for CSE 230 (Winter 2019)
Language:Haskell2 0
spinda/arc-io-error
⚠️ A version of std::io::Error implemented on top of Arc instead of Box, making it cloneable
Language:Rust2 0
spinda/crucibles
💥 Nested Executors for Rust Futures (retired)
Language:Rust2 0
spinda/futures-rs
Zero-cost futures and streams in Rust
Language:Rust
spinda/hyper
An HTTP library for Rust
Language:Rust2 0
spinda/ipc-channel
A multiprocess drop-in replacement for Rust channels
Language:Rust2 0
spinda/json
JSON Serialization for Rust
Language:Rust
spinda/libhydrogen
A lightweight, secure, easy-to-use crypto library suitable for constrained environments.
Language:C2 0
spinda/mastodon
A GNU Social-compatible microblogging server
Language:Ruby
spinda/Rocket
A web framework for Rust.
Language:Rust2 0
spinda/rust-rfcs
RFCs for changes to Rust
spinda/rust-websocket
A WebSocket (RFC6455) library written in Rust
Language:Rust
spinda/rustfmt
Format Rust code
Language:Rust
spinda/selenium-wire
Extends Selenium's Python bindings to give you the ability to inspect requests made by the browser.
Language:Python2 0
spinda/serde
Serialization framework for Rust
Language:Rust
spinda/servo
The Servo Browser Engine
spinda/standards-positions
Language:CSS1 0
spinda/tokio-core
I/O primitives and event loop for async I/O in Rust
Language:Rust
spinda/tokio-io
Language:Rust
spinda/tokio-proto
A network application framework for Rust
Language:Rust
spinda/tokio-tungstenite
Tokio binding for Tungstenite, the Lightweight stream-based WebSocket implementation
Language:Rust
spinda/tokio-uds
Unix Domain Sockets for tokio
Language:Rust
spinda/wordpress-develop
WordPress Develop, Git-ified. Synced from git://develop.git.wordpress.org/, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please do not send pull requests. Submit patches to https://core.trac.wordpress.org/ instead.
Language:PHP2 0
spinda/wpt
Test suites for Web platform specs — including WHATWG, W3C, and others
Language:HTML2 0