Pinned Loading

1. agda/agda agda/agda Public

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 3k 432

2. ansible/ansible ansible/ansible Public

   Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

   Python 71.5k 24.5k

3. actions-hlint-run actions-hlint-run Public

   GitHub Action: Run hlint

   TypeScript 8 1

4. microsoft/vscode microsoft/vscode Public

   Visual Studio Code

   TypeScript 195k 43.8k

5. mystor/git-revise mystor/git-revise Public

   A handy tool for doing efficient in-memory commit rebases & fixups

   Python 866 37

6. git/git git/git Public

   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 64.3k 28.8k