Pinned Loading

1. project-oak/arcsjs-provable project-oak/arcsjs-provable Public archive

   Rust 3

2. tako tako Public

   An experimental programming language for ergonomic software verification

   Rust 16 1

3. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Open-source keyboard firmware for Atmel AVR and Arm USB families

   C 1

4. greasy greasy Public

   Forked from google/greasy

   A set of aliases and functions for quick Git work

   Shell

5. poetry poetry Public

   Forked from python-poetry/poetry

   Python packaging and dependency management made easy

   Python

6. poetry-core poetry-core Public

   Forked from python-poetry/poetry-core

   Poetry PEP 517 Build Backend & Core Utilities

   Python