Alternatives and similar repositories for prose

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

• p-org / PSharp
  A framework for rapid development of reliable asynchronous software.
  ☆391Updated 5 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 5 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
• boogie-org / boogie
  Boogie
  ☆566Updated this week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆148Updated 11 months ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆264Updated 2 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆683Updated 2 months ago
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆56Updated 2 years ago
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆63Updated 3 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
• 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
• 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
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• microsoft / BuildXL
  Microsoft Build Accelerator
  ☆994Updated this week
• microsoft / cci
  Common Compiler Infrastructure
  ☆106Updated 6 years ago
• ml4code / ml4code.github.io
  Website for "A Survey of Machine Learning for Big Code and Naturalness"
  ☆291Updated 11 months ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆442Updated 5 months 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
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆503Updated last week
• microsoft / AMBROSIA
  Robust Distributed Programming Made Easy and Efficient
  ☆423Updated last year
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆94Updated 6 years ago
• AlloyTools / org.alloytools.alloy
  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…
  ☆813Updated 7 months ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆70Updated 6 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago