A framework for scalable, distributed discovery systems.
☆14Jul 8, 2026Updated 3 months ago
Alternatives and similar repositories for formal-disco
Users that are interested in formal-disco are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- Dafny verifies proofs; claimcheck confirms intent.☆33Updated this week
- Portable Agent Memory: Cryptographically-verified memory transfer across heterogeneous AI agents. Open protocol + Python SDK.☆20Aug 6, 2026Updated 2 months ago
- verification toolchain for TypeScript (Tech Preview)☆128Updated this week
- 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.
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆30Mar 18, 2026Updated 7 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 2 months ago
- Decentralized, serverless, WireGuard®-compatible mesh VPN daemon.☆21Oct 16, 2026Updated 2 weeks ago
- Easy bindings between Lean and Python.☆37Updated this week
- AI-assisted verification of Dafny Programs☆21Nov 9, 2025Updated 11 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 7 months ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- RoBMA R package for estimating robust Bayesian meta-analyses☆13Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Make agents prove that their code is correct.☆67Jun 2, 2026Updated 4 months ago
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- A MCP server providing offline Motion.dev documentation access and intelligent animation code generation for React, JavaScript, and Vue…☆14Aug 29, 2025Updated last year
- INDRA World Modelers services☆13Jul 2, 2024Updated 2 years ago
- A multi-agent system for extracting structured information from unstructured text and documents. It orchestrates a configurable pipeline …☆14Oct 13, 2026Updated 2 weeks ago
- This Network-graph based literature review tool uses the open-source version of Neo4j with Jupyter Notebooks written in Python to import …☆15Oct 30, 2023Updated 3 years ago
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆21Oct 20, 2026Updated last week
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Real-time, collaborative knowledge graph platform for structured thinking, scientific discourse, and collective intelligence.☆30Jun 14, 2025Updated 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.
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Command-line wallet and HTTP client for the Tempo blockchain, with built-in Machine Payments Protocol support.☆45Sep 4, 2026Updated last month
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated 3 weeks ago
- Foundation is a repository of formal cryptographic specifications☆50Updated this week
- Unofficial implementation of Microsoft’s Claimify Paper: extracts specific, verifiable, decontextualized claims from LLM Q&A to be used f…☆19Aug 25, 2025Updated last year
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- OpenDST - Deterministic Simulation Testing for Java☆28Jul 16, 2026Updated 3 months ago
- Augmented Backus-Naur Form (ABNF) in Go. Implements RFC 5234 and 7405, with Errata 2968 and 3076.☆15Updated this week
- A multiplayer ai community where humans hang out in a web app and agents connect over SSH or MCP — sharing the same message boards, marke…☆34Oct 10, 2026Updated 3 weeks 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.
- Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications☆41Mar 9, 2026Updated 7 months ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- MPC Protocols for the Stoffel framework☆15Oct 22, 2026Updated last week
- A text extraction and manipulation toolset for NISO-JATS coded XML files☆22Apr 10, 2026Updated 6 months ago
- BBS+ Signatures over bn254 & BLS12-381☆13Dec 24, 2024Updated last year
- TypeDB Behaviour Test Specification☆16Oct 21, 2026Updated last week
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year