Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs
☆19Sep 14, 2026Updated last month
Alternatives and similar repositories for docs2formalspec
Users that are interested in docs2formalspec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unofficial entropix impl for Gemma2 and Llama and Qwen2 and Mistral☆17Jan 12, 2025Updated last year
- Read from a specified file or STDIN and output a specified number of random lines☆11Jun 8, 2024Updated 2 years ago
- ☆16Oct 14, 2026Updated last week
- Backend-neutral Swift database execution framework with pluggable storage, indexes, graph, RDF/OWL, SPARQL, and Embedded/WASM support.☆19Updated this week
- AI_Powered_Dev_Search_Engine☆12Mar 10, 2024Updated 2 years ago
- 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.
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Updated this week
- Pritunl Zero SSH client☆20Aug 2, 2026Updated 2 months ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 3 months ago
- ICASUアーキテクチャ☆26Jul 14, 2025Updated last year
- ☆11Aug 17, 2026Updated 2 months ago
- Outdated, replaced by a much more complete SQL toolkit: https://github.com/wvanbergen/sql_toolkit☆14Jun 30, 2011Updated 15 years ago
- ☆14Jan 27, 2026Updated 8 months ago
- JMED-LLM: Japanese Medical Evaluation Dataset for Large Language Models☆59Sep 22, 2024Updated 2 years ago
- GitコマンドのヘルプをExpandHelpで☆11Dec 5, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Instantly generate and download your PPT by simply uploading your audio file and letting our AI do the work!☆16Nov 13, 2023Updated 2 years ago
- Tripo等から作る3Dキャラクターの制作手順・図解・AI向けSkills。 実モデルの紹介画像・動画付き。商用利用可。☆49Updated this week
- My harness for Claude Code☆19Apr 23, 2026Updated 5 months ago
- Executable specification toolkit prototype☆35Aug 13, 2026Updated 2 months ago
- Source for the community blog☆11Updated this week
- DID Resolver for the did:cheqd method☆12Sep 3, 2026Updated last month
- JavaScript Performance Monitor☆12Sep 5, 2018Updated 8 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 9 months ago
- BLE Generic Health Sensor Peripheral Simulator Android App☆10Mar 11, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- React Native WebRTC Kit のサンプルアプリケーション☆10Sep 21, 2021Updated 5 years ago
- ☆14Sep 3, 2026Updated last month
- Demonstration of DSPy optimization for Skill.md files☆15Dec 28, 2025Updated 9 months ago
- Sniff out the right record: Jev-powered search for Rails with index-time labels, query understanding, and streamed reranking on top of yo…☆52Oct 2, 2026Updated 2 weeks ago
- Blockchain Meta Transactions☆13Jun 30, 2022Updated 4 years ago
- ☆12Jul 16, 2026Updated 3 months ago
- ☆13Jul 28, 2026Updated 2 months ago
- An ERC-8004 Compliant TEE Agent with a TEE Registry Extension for Secure & Verifiable Trustless Agents in a CVM on Phala Cloud☆15Jan 29, 2026Updated 8 months ago
- ☆16Sep 28, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Use Storybook with Docusaurus☆15Apr 1, 2023Updated 3 years ago
- A Next.js version of Claude Aritfacts , inspired by llamacoder☆26Sep 26, 2024Updated 2 years ago
- This project demonstrates how to automate preventing DeFi liquidations & optimizing interest rates on multiple blockchains using Chainlin…☆12Jul 20, 2023Updated 3 years ago
- Tool for signing and countersigning iXBRL or other XML files☆12Mar 3, 2023Updated 3 years ago
- ☆11Jul 12, 2024Updated 2 years ago
- ☆11Mar 17, 2025Updated last year
- ☆10Feb 7, 2024Updated 2 years ago