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
  ☆250Updated 11 months ago
• boogie-org / boogie
  Boogie
  ☆525Updated this week
• p-org / PSharp
  A framework for rapid development of reliable asynchronous software.
  ☆390Updated 4 years ago
• ml4code / ml4code.github.io
  Website for "A Survey of Machine Learning for Big Code and Naturalness"
  ☆291Updated 2 weeks ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆654Updated 8 months ago
• microsoft / Zen
  Zen is a constraint solving library for .NET
  ☆98Updated last year
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆80Updated 4 years ago
• microsoft / dpu-utils
  Utilities used by the Deep Program Understanding team
  ☆102Updated last year
• microsoft / coyote
  Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
  ☆1,526Updated 2 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…
  ☆958Updated last week
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 6 years ago
• microsoft / graph-based-code-modelling
  Code for "Generative Code Modeling with Graphs" (ICLR'19)
  ☆170Updated 2 years ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆244Updated last year
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆387Updated last month
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆93Updated 5 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…
  ☆228Updated 4 years ago
• microsoft / BuildXL
  Microsoft Build Accelerator
  ☆937Updated this week
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 4 years ago
• microsoft / AMBROSIA
  Robust Distributed Programming Made Easy and Efficient
  ☆420Updated 5 months ago
• trishullab / bayou
  System for synthesizing Java API idioms, powered by Neural Sketch Learning
  ☆278Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆208Updated this week
• vprover / vampire
  The Vampire Theorem Prover
  ☆325Updated this week
• nearai / program_synthesis
  Program Synthesis
  ☆144Updated 3 years ago
• src-d / reading-club
  Paper reading club at source{d}
  ☆115Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 5 years ago
• tensorflow / deepmath
  Experiments towards neural network theorem proving
  ☆789Updated 4 years ago
• SLP-team / SLP-Core
  Your library for dynamic language modeling
  ☆67Updated 6 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,076Updated this week
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated 10 months ago