Popular repositories Loading

1. Skywater130nmPDK Skywater130nmPDK Public

   Forked from google/skywater-pdk

   Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

   Python

2. Stark Stark Public

   Forked from facebook/winterfell

   A STARK prover and verifier for arbitrary computations

   Rust

3. Praos Praos Public

   Forked from input-output-hk/ouroboros-praos-formal-spec

   Formal specification of Ouroboros Praos

   Agda

4. git git Public

   Forked from git/git

   Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

   C

5. sky90fd-pdk sky90fd-pdk Public

   Forked from google/sky90fd-pdk

6. renode renode Public

   Forked from renode/renode

   Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

   RobotFramework