Popular repositories Loading

1. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

2. prose-redirect prose-redirect Public

   Dummy repo to host a GitHub Pages site to redirect to the real PROSE website

   HTML

3. prose prose Public

   Forked from microsoft/prose

   Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…

   C#

4. binskim binskim Public

   Forked from microsoft/binskim

   A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats

   C#

5. danpere.github.io danpere.github.io Public

6. semantic-kernel semantic-kernel Public

   Forked from microsoft/semantic-kernel

   Integrate cutting-edge LLM technology quickly and easily into your apps

   C#