Git repository:
Hg repository: bitbucket.org/userzimmermann/choco-packages
A Cygwin-derived software distro for Windows using Arch Linux's Pacman
Git branch:
- github.com/userzimmermann/choco-packages/tree/msys2
- gitlab.com/userzimmermann/choco-packages/tree/msys2
Hg branch: bitbucket.org/userzimmermann/choco-packages/src/msys2
A Dependently Typed Functional Programming Language
Git branch:
- github.com/userzimmermann/choco-packages/tree/idris
- gitlab.com/userzimmermann/choco-packages/tree/idris
Hg branch: bitbucket.org/userzimmermann/choco-packages/src/idris