Pinned Loading

1. granule granule Public

   Forked from granule-project/granule

   A statically typed linear functional language with graded modal types for fine-grained program reasoning

   Haskell

2. au-ts/cogent au-ts/cogent Public

   Cogent Project

   Isabelle 169 26

3. microsoft/GraphEngine microsoft/GraphEngine Public

   Microsoft Graph Engine

   C# 2.2k 331

4. bytecode bytecode Public

   Forked from MatthieuDartiailh/bytecode

   Python module to modify bytecode

   Python

5. fpy fpy Public

   Python module for composing computations

   Python 26

6. FlyGoat/RyzenAdj FlyGoat/RyzenAdj Public

   Adjust power management settings for Ryzen APUs

   C 2k 151