☆194Feb 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:
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆26Feb 18, 2026Updated last month
- ☆12Nov 10, 2023Updated 2 years ago
- A complete pipeline for training language models to write in a specific author's style using Supervised Fine-Tuning (SFT) with LoRA.☆34Dec 29, 2025Updated 3 months ago
- Implementation of the Findex searchable encryption scheme☆18Mar 30, 2026Updated last week
- ☆14Feb 7, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆11May 28, 2024Updated last year
- MCP server for native app testing & browser automation — screenshot, OCR, click, type, find_text, Chrome/Electron CDP, template matching.…☆43Apr 2, 2026Updated last week
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆13Aug 8, 2024Updated last year
- netbeacon - monitoring your network capture, NIDS or network analysis process☆20Updated this week
- Minimal zkVM, targeting aggregation of hash-based signatures.☆91Apr 2, 2026Updated last week
- Compass integration with source code management tool GitLab.☆18Apr 2, 2026Updated last week
- Simple, Fast and Accurate Speedtest Tool https://ispeedtest.xyz☆20Feb 28, 2024Updated 2 years ago
- OIDC identity provider for digital identity☆26Jan 13, 2026Updated 2 months ago
- LLM evaluations on various financial research tasks☆37Aug 4, 2025Updated 8 months ago
- 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.
- ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG☆11Nov 1, 2016Updated 9 years ago
- Modern Honey Network deployment with ansible☆12Jun 4, 2022Updated 3 years ago
- ☆22Mar 27, 2026Updated 2 weeks ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated last year
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 9 months ago
- ☆13Feb 6, 2018Updated 8 years ago
- Topological sort algorithm☆14Mar 30, 2026Updated last week
- set of entities for Maltego including common STIX objects and several flavors of kill chain.☆11May 6, 2015Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Python script that gets IOC from MISP and converts it into BRO intel files.☆13Apr 17, 2016Updated 9 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
- Sireus - SRE Utility System - Decision System for tracking SRE and DevOps operational state and executing commands☆14Feb 24, 2023Updated 3 years ago
- Teenager? Get your hardware projects funded. This is the platform, on Rails!☆17Updated this week
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- AI-powered self-healing system for OpenClaw Gateway • 4-tier autonomous recovery • macOS & Linux☆35Mar 25, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Measured analysis of Claude Code cache bugs causing 10-20x token inflation on Max plans☆64Updated this week
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 2 months ago
- Tool to tackle problematic dangling domains in Amazon Web Services.☆14Oct 11, 2017Updated 8 years ago
- Terraform to configure an AWS account for the storage of many separate CloudTrails in S3☆14Apr 27, 2018Updated 7 years ago
- Moleculer metrics service for Sentry (https://sentry.io/)☆11Jan 21, 2026Updated 2 months ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- ☆12Nov 16, 2020Updated 5 years ago