Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Github Action

A GitHub action for typechecking Agda code.
Stars
7
License
No license specified
Open Issues
0
Most Recent Commit
7 months ago
Programming Language
Shell
Categories
Repo
Alternatives To Agda Github Action
Select To Compare
Docsify ⭐ 26,599
🃏 A magical documentation site generator.
dependent packages 194total releases 193most recent commit 18 days agonpm docsify} Downloads


Suggest An Alternative To agda-github-action
Popular Content Management Categories
Wordpress
Content Management System
Slides
Jekyll
Wiki
Portfolio
Magento
Rss
Readme
Gatsby
Related Searches
Shell Github Pages
Shell Agda

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Shell
Github Pages
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.