☆36Dec 10, 2025Updated 8 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 8 months ago
- ☆36Dec 11, 2025Updated 8 months ago
- ☆19Dec 9, 2025Updated 8 months ago
- ☆34Dec 5, 2025Updated 8 months ago
- ☆34Dec 5, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆36Dec 10, 2025Updated 8 months ago
- ☆36Dec 9, 2025Updated 8 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 8 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 8 months ago
- ☆37Dec 10, 2025Updated 8 months ago
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 8 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 2025Updated 8 months ago
- ☆17Dec 10, 2025Updated 8 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,821Aug 19, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆36Dec 11, 2025Updated 8 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 8 months ago
- web3_style_sniffer☆19Dec 10, 2025Updated 8 months ago
- ☆484Jul 17, 2026Updated last month
- A payments protocol for the internet. Built on HTTP.☆6,560Updated this week
- Detect real-time threats and events on OP Stack compatible blockchains☆1,614May 29, 2024Updated 2 years ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆24,820Updated this week
- Formally Verified X.509 Certificate Validation☆15Nov 19, 2025Updated 9 months ago
- The simplest and fastest way to bundle your TypeScript libraries.☆11,292Jul 20, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Extracting and analyzing URLs from Emails for phishing events☆22Mar 28, 2026Updated 5 months ago
- react-native practice albums' project.☆15Apr 25, 2017Updated 9 years ago
- Swipeable UITableViewCell/UICollectionViewCell based on the stock Mail.app, implemented in Swift.☆6,282May 19, 2024Updated 2 years ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 years ago
- Unofficial PyTorch implementation of "Autoregressive Speech Synthesis without Vector Quantization (MELLE)"☆41Jun 28, 2025Updated last year
- This project is for Ruby on Rails capstone which is, based on a lifestyle articles website. I have followed the given design, and I chose…☆18Dec 17, 2020Updated 5 years ago
- Compiler backend☆16Aug 7, 2026Updated 3 weeks ago
- Express security essentials deployment for Linux Servers☆60Oct 19, 2020Updated 5 years ago
- PDP8 simulator running OS/8 on an ESP32.☆18Jun 19, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Bi-Directional Saelos integration plugin for Mautic☆10Aug 20, 2021Updated 5 years ago
- electron template menu☆12Jul 25, 2015Updated 11 years ago
- The open alternative to Salesforce, designed for AI.☆55,949Updated this week
- ☆17Jul 23, 2021Updated 5 years ago
- A set of typesafe chainable slice helpers to reduce pain of working with slices☆17Aug 23, 2018Updated 8 years ago
- A library to download & load dependencies during runtime for Minecraft mods & plugins☆13Jul 20, 2024Updated 2 years ago
- Website for the first RubyConf organized in Argentina (forked from rubyconf' uy)☆16Feb 22, 2012Updated 14 years ago