A spec-driven framework that turns ideas into production code through formal analysis chains, automated testing, and structured delivery.
☆31Jun 26, 2026Updated 3 weeks ago
Alternatives and similar repositories for FullSpec
Users that are interested in FullSpec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for checking reflecting Parameters in a URL.☆10Aug 31, 2020Updated 5 years ago
- ☆19Oct 16, 2024Updated last year
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- CRLFMap is a tool to find HTTP Splitting vulnerabilities☆25Jul 31, 2020Updated 5 years ago
- Cases for talk at HolyJS 2019 Moscow☆15Mar 3, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Репозиторий, специально для доклада на HolyJs. Figma to React!☆24Jan 4, 2023Updated 3 years ago
- Generate random strings for IDs or keys using property annotations☆17Feb 17, 2021Updated 5 years ago
- Filters experimental warnings from Node.js CLI output.☆16Dec 7, 2025Updated 7 months ago
- This module allows the management of windows within a Vue.js application. The windows can be moved within a parent window using drag and …☆22Nov 25, 2023Updated 2 years ago
- TypeLeap☆12Mar 8, 2025Updated last year
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- [DEPRECATED] Add some validators for Symfony2.x Framework☆16Oct 12, 2016Updated 9 years ago
- The Ghost blog system upgraded with Heroku deploys & IPFS support.☆15Dec 10, 2022Updated 3 years ago
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Forum News Service search app powered by Node.js, React, Elasticsearch and SearchKit☆11Feb 25, 2017Updated 9 years ago
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆14Apr 9, 2025Updated last year
- Provides utils to create a test infrastructure for Doctrine ORM entities.☆20Jun 17, 2026Updated last month
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 11 months ago
- Emeris web app☆11Jul 10, 2024Updated 2 years ago
- A vscode extension for fast app publishing powered by IPFS ⚡️☆13Mar 4, 2023Updated 3 years ago
- Gopher over IPFS!☆14May 31, 2020Updated 6 years ago
- Project for SNARE benchmark☆11Jun 5, 2024Updated 2 years ago
- stealth35 homepage, tons of Windows PECL☆18Sep 12, 2012Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Open book: Cybernetic Economic System☆14May 13, 2017Updated 9 years ago
- A multisend smart contract for the Terra blockchain using CosmWasm☆16Sep 30, 2020Updated 5 years ago
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Jun 7, 2022Updated 4 years ago
- One-Command Setup for TypeScript Smart Contracts and Hyperweb dApps☆16Dec 11, 2025Updated 7 months ago
- ☆10Feb 9, 2023Updated 3 years ago
- Galaxy decentralized node network and protocol☆10Sep 25, 2018Updated 7 years ago
- FluxN0de☆14Feb 22, 2022Updated 4 years ago
- Distributed KV store using go-ds-crdt and libp2p☆12Nov 28, 2021Updated 4 years ago
- Mole is a framework for identifying and exploiting out-of-band application vulnerabilities.☆58Aug 6, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- [DEPRECATED] Use ipfs-provider instead:☆13Oct 16, 2020Updated 5 years ago
- DLPack safe Rust binding☆15Sep 20, 2022Updated 3 years ago
- Automaton & Cognition☆17Apr 14, 2024Updated 2 years ago
- NEAR multisig wallet☆11Apr 8, 2021Updated 5 years ago
- ***Notice: This repository is no longer maintained.*** InterPlanetary NFT Extensions (IPNFTX)☆14Sep 16, 2021Updated 4 years ago
- Wimble – Wallet reinvented for Grin.☆11Jan 7, 2023Updated 3 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago