Stars
🦀 Rust runtime for ▲ Vercel Serverless Functions
Compositional Verification of Security Protocols
High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
Copy Docker images directly to a remote host without using Docker Hub or a hosted registry.
Push docker images directly to remote servers without an external registry
A simple zsh plugin that replaces Ctrl+R with an fzf-driven select which includes date/times.
This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
clreq-gap (Chinese layout gap analysis) for typst. 分析 Typst 与中文排版的差距。
The official repository of Mozilla's Firefox web browser.
The full stack <head> package for any framework.
Compile Markdown to Vue component
ESLint rules for Node Security
Enforce best practices for JavaScript promises
An eslint plugin for checking Vue.js files for accessibility
ESLint plugin with rules that help validate proper imports.
A visual tool for inspecting and understanding your ESLint flat configs.
Monorepo for ESLint Stylistic plugins and configs
A neovim plugin that helps managing crates.io dependencies
Termux - a terminal emulator application for Android OS extendible by variety of packages.
⚙️ Configurable GitHub Copilot blink.cmp source for Neovim
Performant, batteries-included completion plugin for Neovim
Vim plugin for SageMath (Sage) mathematics software system