Alternatives and similar repositories for prose

Users that are interested in prose are comparing it to the libraries listed below

• boogie-org / boogie
  Boogie
  ☆566Updated this week
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 5 years ago
• p-org / PSharp
  A framework for rapid development of reliable asynchronous software.
  ☆391Updated 5 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• klipto / Uncertainty
  Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…
  ☆45Updated 9 years ago
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆63Updated 3 years ago
• ml4code / ml4code.github.io
  Website for "A Survey of Machine Learning for Big Code and Naturalness"
  ☆291Updated last year
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆264Updated 2 years ago
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆148Updated 11 months ago
• microsoft / graph-based-code-modelling
  Code for "Generative Code Modeling with Graphs" (ICLR'19)
  ☆171Updated 3 years ago
• microsoft / dpu-utils
  Utilities used by the Deep Program Understanding team
  ☆103Updated 2 years ago
• src-d / datasets
  source{d} datasets ("big code") for source code analysis and machine learning on source code
  ☆343Updated 6 years ago
• microsoft / near-duplicate-code-detector
  A simple tool for detecting near-duplicate source code
  ☆102Updated last year
• microsoft / Zen
  Zen is a constraint solving library for .NET
  ☆141Updated 2 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• souffle-lang / souffle
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆1,048Updated last month
• microsoft / cci
  Common Compiler Infrastructure
  ☆106Updated 6 years ago
• facebook / SPARTA
  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…
  ☆665Updated last week
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Updated 3 years ago
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆94Updated 6 years ago
• naasking / uKanren.NET
  A native implementation of the MicroKanren DSL for .NET
  ☆47Updated 10 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆235Updated 5 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆683Updated 2 months ago
• LeeSanderson / Chess
  A concurency testing tool
  ☆62Updated 6 years ago
• microsoft / BuildXL
  Microsoft Build Accelerator
  ☆994Updated this week
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆56Updated 2 years ago
• tech-srl / code2vec
  TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
  ☆1,141Updated 2 years ago
• abb-iss / Randoop.NET
  Randoop.NET is an API fuzzing unit test generator for .NET libraries.
  ☆47Updated 7 years ago
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 8 years ago