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 4 years ago
• boogie-org / boogie
  Boogie
  ☆555Updated 2 weeks ago
• klipto / Uncertainty
  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
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆81Updated 5 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆262Updated last year
• microsoft / Zen
  Zen is a constraint solving library for .NET
  ☆107Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• ml4code / ml4code.github.io
  Website for "A Survey of Machine Learning for Big Code and Naturalness"
  ☆291Updated 7 months ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆668Updated last month
• microsoft / BuildXL
  Microsoft Build Accelerator
  ☆974Updated last week
• microsoft / graph-based-code-modelling
  Code for "Generative Code Modeling with Graphs" (ICLR'19)
  ☆171Updated 2 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,007Updated last week
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆253Updated 2 years ago
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆146Updated 7 months ago
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• microsoft / near-duplicate-code-detector
  A simple tool for detecting near-duplicate source code
  ☆100Updated 11 months ago
• facebook / SPARTA
  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…
  ☆662Updated last week
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated 2 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆411Updated 2 years ago
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆61Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆150Updated 5 years ago
• microsoft / dpu-utils
  Utilities used by the Deep Program Understanding team
  ☆103Updated 2 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• ExceLint / ExceLint
  Finds formula errors in spreadsheets (plugin for Microsoft Excel)
  ☆73Updated 6 years ago
• microsoft / cci
  Common Compiler Infrastructure
  ☆104Updated 6 years ago
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆95Updated 6 years ago
• tech-srl / code2vec
  TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
  ☆1,143Updated 2 years ago
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆55Updated 2 years ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆427Updated 2 weeks ago
• microsoft / infersharp
  Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null d…
  ☆745Updated last year