☆23Jun 15, 2026Updated this week
Alternatives and similar repositories for synthesis
Users that are interested in synthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python Bindings for the Probabilistic Model Checker Storm☆44Updated this week
- ☆19Apr 21, 2025Updated last year
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆54Jun 8, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Apr 6, 2026Updated 2 months ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 4 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Code for the ICML 2020 publication "Information Particle Filter Tree: An Online Algorithm for POMDPs with Belief-Based Rewards on Continu…☆14Jul 3, 2020Updated 5 years ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆37Jun 1, 2026Updated 2 weeks ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆88Mar 15, 2025Updated last year
- Python package for Dec-POMDP files in the .dpomdp format☆11Oct 28, 2022Updated 3 years ago
- Implementation of multi-core (binary) decision diagrams☆90Jun 7, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- In-game overlay Flash timer for popular game League of Legends.☆10Aug 7, 2023Updated 2 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- A Static Analysis Tool For Android Apps☆20Dec 19, 2025Updated 5 months ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- Probabilistic programming system for fast and exact symbolic inference☆86Apr 12, 2026Updated 2 months ago
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 5 years ago
- Compile scss and sass file to css in Julia☆13May 21, 2023Updated 3 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 11 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.
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 3 years ago
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 5 months ago
- ☆15Jan 19, 2021Updated 5 years ago
- Reinforcement learning in pure JAX.☆13Dec 24, 2025Updated 5 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- The Multiagent Decision Process (MADP) Toolbox - planning and learning in multiagent systems.☆85Oct 14, 2020Updated 5 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 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.
- Learning programs with the Exploration-Compression algorithm☆10May 17, 2018Updated 8 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Reinforcement Learning based 'Learning' of Dynamic Sepsis Treatment Strategies☆26Jun 12, 2021Updated 5 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆18Jul 22, 2021Updated 4 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆14Jan 29, 2026Updated 4 months ago
- ☆22Jan 22, 2023Updated 3 years ago
- ☆21Oct 6, 2021Updated 4 years ago