Pinned Loading

1. agda/agda agda/agda Public

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

   Haskell 2.4k 339

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 61.8k 23.8k

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

   GitHub Action: Run hlint

   TypeScript 6 1

4. microsoft/vscode microsoft/vscode Public

   Visual Studio Code

   TypeScript 161k 28.2k

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

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

   Python 730 28

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 51.1k 25.4k