Pinned Loading

1. microsoft/loop-invariant-gen-experiments microsoft/loop-invariant-gen-experiments Public archive

   Loop invariant generation with LLMs

   Python 33 8

2. fplaunchpad/peepul fplaunchpad/peepul Public

   Certified implmentations of mergeable replicated data types

   F* 9 2

3. SumitPadhiyar/parafuzz SumitPadhiyar/parafuzz Public

   Concurrency property fuzzing tool for multicore OCaml programs

   OCaml 1

4. Fuchsia-traceroute Fuchsia-traceroute Public

   A C++ implementation of the traceroute utility in Fuchsia OS

   C++ 1

5. Mathy-Compiler Mathy-Compiler Public

   A compiler to generate OpenMP programs for equations involving constructs like Forall, Summation, etc., frequently used in the scientific domain

   C 8 2

6. Edmonds-Algorithm Edmonds-Algorithm Public

   A Python implementation of Edmond's blossom algorithm to find maximum matchings in general graphs

   Python 10 1