☆195Feb 3, 2026Updated 2 months ago
Alternatives and similar repositories for clawdbot-formal-models
Users that are interested in clawdbot-formal-models are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain☆19Feb 7, 2024Updated 2 years ago
- ☆13Nov 10, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆15Nov 6, 2023Updated 2 years ago
- Build beautiful end-to-end encrypted forms for free☆41Updated this week
- 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.
- 根据Claude Code架构构建的小说&文章撰写Cli 工具☆60Sep 20, 2025Updated 7 months ago
- Compass integration with source code management tool GitLab.☆18Apr 7, 2026Updated 3 weeks ago
- Minimal zkVM, targeting aggregation of hash-based signatures.☆102Updated this week
- Simple, Fast and Accurate Speedtest Tool https://ispeedtest.xyz☆21Feb 28, 2024Updated 2 years ago
- Visualize your CRITs IOC's in Maltego☆12Jan 13, 2015Updated 11 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 7 months ago
- For practice to using halo2☆22Jun 7, 2023Updated 2 years ago
- ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG☆11Nov 1, 2016Updated 9 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.
- Modern Honey Network deployment with ansible☆12Jun 4, 2022Updated 3 years ago
- ☆24Mar 27, 2026Updated last month
- Synchronize data between spotify-accounts. Supports synchronized playlists, favorite songs, followed singers, etc.☆13Jun 16, 2021Updated 4 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 7 months ago
- AI长篇小说创作系统 - 基于文件级长期记忆的Smart State模式，支持百万字级长篇小说持续创作☆222Mar 10, 2026Updated last month
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 10 months ago
- ☆13Feb 6, 2018Updated 8 years ago
- Boilerplate example of managing OPA with kustomize☆18Jan 22, 2026Updated 3 months 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.
- Local Maltego Transforms for crt.sh☆12Sep 8, 2017Updated 8 years ago
- Python script that gets IOC from MISP and converts it into BRO intel files.☆13Apr 17, 2016Updated 10 years ago
- A heatmap vizualization of bucketed ranged data over time.☆22Apr 1, 2013Updated 13 years ago
- Splunk app to support presentation at .conf2015 on free security tools and Splunk☆10Sep 24, 2015Updated 10 years ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- A tool to discover bygonessl vulnerabilities using the facebook API☆20Oct 2, 2019Updated 6 years ago
- ☆20Jan 8, 2026Updated 3 months ago
- 🧮 U128 helpers for Solana programs.☆11Sep 5, 2023Updated 2 years ago
- ☆14May 28, 2025Updated 11 months 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.
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- AI-powered self-healing system for OpenClaw Gateway • 4-tier autonomous recovery • macOS & Linux☆36Apr 24, 2026Updated last week
- Deterministic security layer for Openclaw(Clawdbot), Cursor and Claude Code. Write secure code, prevent data exfil, and more☆44Feb 5, 2026Updated 2 months ago
- Terraform to configure an AWS account for the storage of many separate CloudTrails in S3☆14Apr 27, 2018Updated 8 years ago
- Moleculer metrics service for Sentry (https://sentry.io/)☆11Jan 21, 2026Updated 3 months ago
- Network Scout (NS) is an extension to Artillery. NS allows you to access log files from multiple clients.☆21May 2, 2016Updated 9 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago