Tree-sitter-agda Alternatives
Similar projects and alternatives to tree-sitter-agda
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better tree-sitter-agda alternative or higher similarity.
tree-sitter-agda reviews and mentions
Posts with mentions or reviews of tree-sitter-agda.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-29.
-
Custom Grammar not recognized as Highlighting
Thanks, but I already tried that. I am on NixOs, so I installed the grammar through my nixos configuration. However, I ruled that variable out by installing this agda grammar in the same way.
Stats
Basic tree-sitter-agda repo stats
1
3
5.3
8 months ago
AusCyberman/tree-sitter-agda is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of tree-sitter-agda is Yacc.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com