Alternatives and similar repositories for prose

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

• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆257Updated last year
• boogie-org / boogie
  Boogie
  ☆551Updated this week
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 5 years ago
• ml4code / ml4code.github.io
  Website for "A Survey of Machine Learning for Big Code and Naturalness"
  ☆290Updated 6 months ago
• p-org / PSharp
  A framework for rapid development of reliable asynchronous software.
  ☆391Updated 4 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…
  ☆33Updated 8 years ago
• microsoft / graph-based-code-modelling
  Code for "Generative Code Modeling with Graphs" (ICLR'19)
  ☆172Updated 2 years ago
• microsoft / Zen
  Zen is a constraint solving library for .NET
  ☆105Updated last year
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆61Updated 2 years ago
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆146Updated 5 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆252Updated 2 years ago
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆94Updated 6 years ago
• microsoft / BuildXL
  Microsoft Build Accelerator
  ☆973Updated this week
• 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…
  ☆998Updated last month
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆664Updated last month
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆408Updated 2 years ago
• src-d / datasets
  source{d} datasets ("big code") for source code analysis and machine learning on source code
  ☆332Updated 5 years ago
• microsoft / dpu-utils
  Utilities used by the Deep Program Understanding team
  ☆102Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆160Updated last week
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated 2 years ago
• ExceLint / ExceLint
  Finds formula errors in spreadsheets (plugin for Microsoft Excel)
  ☆73Updated 5 years ago
• dkamm / deepcoder
  Deepcoder paper implementation
  ☆118Updated 2 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…
  ☆661Updated 2 months ago
• trishullab / bayou
  System for synthesizing Java API idioms, powered by Neural Sketch Learning
  ☆278Updated 2 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆420Updated 3 weeks 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…
  ☆231Updated 4 years ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,162Updated last week