☆195Feb 3, 2026Updated 3 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☆29May 4, 2026Updated 2 weeks ago
- ☆13Nov 10, 2023Updated 2 years ago
- Implementation of the Findex searchable encryption scheme☆18Mar 30, 2026Updated last month
- Single Page PHP Development Stack☆39Mar 1, 2026Updated 2 months ago
- ☆15Nov 6, 2023Updated 2 years 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.
- A small coding agent. Rust and OpenAI's gpt-oss-20b☆18Aug 10, 2025Updated 9 months ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆20Apr 5, 2026Updated last month
- ☆20Jun 20, 2025Updated 11 months ago
- Minimal zkVM, targeting aggregation of hash-based signatures.☆113Updated this week
- OIDC identity provider for digital identity☆26Jan 13, 2026Updated 4 months ago
- A fully UTF-8 micro PHP forum with akismet, recaptcha, and HTML support in only 12KB!☆15Apr 28, 2010Updated 16 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 8 months ago
- ☆14Aug 28, 2023Updated 2 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆13Jul 11, 2024Updated 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.
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 7 months ago
- Modern Honey Network deployment with ansible☆12Jun 4, 2022Updated 3 years ago
- ☆20Jun 13, 2022Updated 3 years ago
- Solutions to the annual Advent calendar of programming puzzles☆12Apr 13, 2026Updated last month
- ☆10Oct 8, 2022Updated 3 years ago
- Deploys an immutable web app to AWS Lambda@Edge with Serverless.☆19Jan 31, 2019Updated 7 years ago
- 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 8 months ago
- ctfs-2019☆12Nov 29, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- A monorepo of reusable Circom circuits.☆29Jun 30, 2025Updated 10 months ago
- Boilerplate example of managing OPA with kustomize☆18Jan 22, 2026Updated 3 months ago
- Topological sort algorithm☆15Apr 6, 2026Updated last month
- set of entities for Maltego including common STIX objects and several flavors of kill chain.☆11May 6, 2015Updated 11 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
- An example of a two way communication between an iOS companion app and a ConnectIQ app on a Garmin device.☆17Feb 22, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🧮 U128 helpers for Solana programs.☆11Sep 5, 2023Updated 2 years ago
- algorithm fun-times☆18May 19, 2018Updated 8 years ago
- ☆21Mar 19, 2023Updated 3 years ago
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- Dead simple functional library for object prototyping, data hydration and data exposition☆21Aug 9, 2015Updated 10 years ago
- Library to create the domain layer of your DDD application☆19Dec 23, 2019Updated 6 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Apr 20, 2026Updated last month