Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for shell agda
agda
x
shell
x
1 search results found
Agda Github Action
⭐
7
A GitHub action for typechecking Agda code.
Related Searches
Shell Docker (20,660)
Shell Script (15,351)
Shell Bash (10,338)
Shell Command Line (6,542)
Shell Dotfiles (5,338)
Shell Git (4,715)
Shell Ansible (4,427)
Shell Server (3,563)
Shell Ssh (3,562)
Shell Docker Image (3,406)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
