Contributor
@ncfavier
repos
7
ecosystems
6
languages
5
commits
104
Agda is a dependently typed programming language / interactive theorem prover.
📦 :octocat: GitHub Action for creating GitHub Releases
minimalist and opinionated feed reader
Build software only once and put it in a global cache
Hydra, the Nix-based continuous build system
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
