A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhaustively model-checks it against your invariants.
☆16Sep 13, 2026Updated 2 months ago
Alternatives and similar repositories for polygraph
Users that are interested in polygraph are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Desktop app to create beautiful self-hosted static photo galleries. No subscriptions, no lock-in, deploys in minutes.☆17Oct 31, 2026Updated last week
- ☆11Oct 21, 2026Updated 3 weeks ago
- Custom iOS keyboard using OpenAI Whisperer API for speech-to-text conversion☆21Oct 3, 2023Updated 3 years ago
- Boolean satisfiability for propositional logic in Python☆15Aug 19, 2025Updated last year
- ☆18Oct 3, 2011Updated 15 years ago
- 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.
- This repository has been moved to bitbucket☆12Oct 20, 2022Updated 4 years ago
- Cloud Formation Templates Documentation Generator☆11Jun 18, 2025Updated last year
- A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.☆36Sep 22, 2026Updated last month
- A React-esque library for Python☆13Jan 13, 2018Updated 8 years ago
- Autonomous AI coding agent orchestrator. Watches GitHub issues, spawns Claude Code, Codex CLI, or Antigravity CLI in isolated git worktre…☆18Updated this week
- ☆10Mar 1, 2021Updated 5 years ago
- Django Audit Trail library☆15Jan 18, 2018Updated 8 years ago
- A Swift library for integrating with the OpenAI Assistants API, enabling the creation and management of assistants, message processing, …☆32Mar 18, 2025Updated last year
- C++ networking library including UniConf and a convenient D-Bus API☆14Apr 25, 2011Updated 15 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Pygame+Pymunk Carrom Simulation Testbed for reinforcement learning. [CS747][ Foundations of Intelligent and Learning Agents]☆15Jun 24, 2019Updated 7 years ago
- A truly non-blocking Dynamo client (based on alpakka) for Scanamo☆10Oct 12, 2017Updated 9 years ago
- An http and https nodejs loader☆11Jul 4, 2022Updated 4 years ago
- highlight javascript code based on an esprima AST☆16Sep 2, 2014Updated 12 years ago
- Swift API for Pinecone Vector database access☆34Aug 12, 2023Updated 3 years ago
- Merge multiple images into one!☆11Dec 25, 2021Updated 4 years ago
- Spring with JDBC operation using JDBCTemplate CRUD application in MVC☆17Jul 12, 2017Updated 9 years ago
- Molten is an opinionated library providing reactive tooling to simplify building production-ready integration solutions using Reactor.☆16Mar 5, 2024Updated 2 years ago
- A Terraform module to configure a VPC Peering connection in AWS.☆18Oct 15, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Take it easy! Clean and simple Flux-implementation☆16Sep 19, 2016Updated 10 years ago
- Iter tools for Go(Golang)☆12Aug 28, 2021Updated 5 years ago
- DEPRECATED: Use https://github.com/bem/bem-xjst☆16Dec 7, 2012Updated 13 years ago
- Implementing the blind RSA scheme in Java☆15Nov 2, 2025Updated last year
- JSX React Element assertions for chai☆14Nov 5, 2015Updated 11 years ago
- Simple pgx wrapper to execute and scan query results☆17Nov 14, 2025Updated 11 months ago
- Simple lightweight workflow framework using Spring beans.☆13Aug 12, 2018Updated 8 years ago
- One hundred challenge problems for logical formalizations of commonsense psychology☆28Oct 9, 2025Updated last year
- A bridge between synchronous HTTP workload and event-driven landscapes powered by Apache Kafka.☆20May 25, 2019Updated 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.
- REST API JavaScript client generator☆16Jun 19, 2017Updated 9 years ago
- Advanced Custom Fields - Pages by Template add-on☆13Aug 10, 2017Updated 9 years ago
- https://blundertutor.com/ Train on you historic blunders with Stockfish 19: free and self-hosted. Indeed written with AI assistance.☆18Updated this week
- KISS My Lisp - an implementation in pure C99 of a minimal Lisp language.☆21May 3, 2012Updated 14 years ago
- Democratizing Function Calling Capabilities for Open-Source Language Models☆44May 5, 2024Updated 2 years ago
- A single container with fpm & nginx with Laravel dependencies☆14Nov 6, 2025Updated last year
- Make your AdonisJS application multi tenancy aware☆14Jan 24, 2023Updated 3 years ago
Are these results useful?