Pinned Loading

1. prismlab/peepul prismlab/peepul Public

   Certified implmentations of mergeable replicated data types

   F* 7 2

2. SumitPadhiyar/parafuzz SumitPadhiyar/parafuzz Public

   Concurrency property fuzzing tool for multicore OCaml programs

   OCaml 1

3. microsoft/loop-invariant-gen-experiments microsoft/loop-invariant-gen-experiments Public

   Loop invariant generation with LLMs

   Python 15 5

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 6 1