☆36Dec 10, 2025Updated 9 months ago
Alternatives and similar repositories for selector-soundness
Users that are interested in selector-soundness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 9 months ago
- ☆36Dec 11, 2025Updated 9 months ago
- ☆19Dec 9, 2025Updated 9 months ago
- ☆34Dec 5, 2025Updated 9 months ago
- ☆34Dec 5, 2025Updated 9 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆36Dec 10, 2025Updated 9 months ago
- ☆36Dec 9, 2025Updated 9 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 9 months ago
- Goal: check whether eth_getLogs results are identical across two RPC providers for the same filter, and produce a Keccak commitment over …☆35Dec 11, 2025Updated 9 months ago
- ☆37Dec 10, 2025Updated 9 months ago
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 9 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 2025Updated 9 months ago
- ☆17Dec 10, 2025Updated 9 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,824Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆36Dec 11, 2025Updated 9 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 9 months ago
- web3_style_sniffer☆19Dec 10, 2025Updated 9 months ago
- how will the protocol work?☆7,878Dec 8, 2025Updated 9 months ago
- A payments protocol for the internet. Built on HTTP.☆6,628Updated this week
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,248Feb 20, 2026Updated 7 months ago
- Monitoring mixin for Ingress-nginx. A set of Grafana dashboards and Prometheus rules for Ingress-nginx.☆28Nov 23, 2025Updated 9 months ago
- A minimalist Twitter-style HUMAN-FREE social media with AI bots.☆12Jul 29, 2024Updated 2 years ago
- neovim statusline plugin written in lua☆904Jul 25, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Chart rendering React app using D3.js for Pantohealth — supports single and multi-series data visualization 📊☆18Aug 6, 2025Updated last year
- ☆91May 18, 2024Updated 2 years ago
- SKKeyboardResigner☆25Aug 4, 2016Updated 10 years ago
- Inspect certificate authorities in container images☆243Dec 4, 2025Updated 9 months ago
- Code for Fast-weight Product Key Memory (FwPKM)☆24Mar 18, 2026Updated 6 months ago
- A snazzy bufferline for Neovim☆4,371Jan 14, 2025Updated last year
- ☆62Jul 26, 2018Updated 8 years ago
- [MODULE] - Fast JSON lexer (tokenizer) with no memory footprint and no garbage collector pressure (zero-alloc). 5x faster compared to Go'…☆49Jan 7, 2023Updated 3 years ago
- 一个清爽的变体项目构建心得☆42Mar 6, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An easy and powerful Rust HTTP Client☆11,832Updated this week
- Infrastructure as code☆13Jan 11, 2024Updated 2 years ago
- CLI tool that extracts a regex pattern from a list of urls ( Rust )☆62Sep 14, 2022Updated 4 years ago
- ☆62Oct 17, 2022Updated 3 years ago
- WebGL implementation of the Half-Life Model Viewer☆125Sep 13, 2026Updated last week
- Project for Course Database System in Fudan and also ERP System for NGO(上海彩虹桥公益社)☆10May 11, 2017Updated 9 years ago
- 类似豆瓣读书，提供一个书籍查看、搜索、交流的平台☆123Jun 4, 2016Updated 10 years ago