microsoft / proseLinks
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
☆650Updated 2 weeks ago
Alternatives and similar repositories for prose
Users that are interested in prose are comparing it to the libraries listed below
Sorting:
- A framework for rapid development of reliable asynchronous software.☆391Updated 4 years ago
- Boogie☆558Updated last week
- Automata and transducer library for .NET☆81Updated 5 years ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆44Updated 8 years ago
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- Program Synthesis Course☆264Updated last year
- The collection synthesizer☆211Updated 5 years ago
- Code for "Generative Code Modeling with Graphs" (ICLR'19)☆171Updated 2 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆146Updated 8 months ago
- Website for "A Survey of Machine Learning for Big Code and Naturalness"☆291Updated 8 months ago
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆62Updated 2 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆256Updated 2 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆670Updated 2 months ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,013Updated last month
- 58069 Java source code diffs. http://arxiv.org/pdf/1807.03200☆95Updated 6 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆55Updated 2 years ago
- A simple tool for detecting near-duplicate source code☆100Updated last year
- Program Synthesis☆145Updated 4 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Updated 2 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- source{d} datasets ("big code") for source code analysis and machine learning on source code☆336Updated 5 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Finds formula errors in spreadsheets (plugin for Microsoft Excel)☆75Updated 6 years ago
- Robust Distributed Programming Made Easy and Efficient☆421Updated last year
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆792Updated 4 months ago
- Zen is a constraint solving library for .NET☆137Updated last year
- Utilities used by the Deep Program Understanding team☆103Updated 2 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated this week
- Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.☆206Updated 2 years ago
- WASM builds of the Z3 SMT solver☆149Updated 5 years ago