Pinned Loading

1. pprof pprof Public

   Pprof serves via its HTTP server fprof profiling data in the format expected by the pprof visualization tools for Elixir.

   Elixir 13 1

2. dagger/dagger dagger/dagger Public

   Automation engine to build, test and ship any codebase. Runs locally, in CI, or directly in the cloud

   Go 15.7k 861

3. struct-bingen struct-bingen Public

   automatically generates Go structs bindings to C (and some C++) libraries.

   Go 2

4. godel-shadow godel-shadow Public

   Implementing SAT and 3-SAT problems into arithmetic using Gödel numbering and recursion techniques with Lean 4

   Lean