Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agdarsec

Total Parser Combinators in Agda
Stars
103
License
gpl-3.0
Open Issues
4
Most Recent Commit
a year ago
Programming Language
Agda
Categories
Site
Repo
Alternatives To Agdarsec
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Agdarsec103
a year ago4gpl-3.0Agda
Total Parser Combinators in Agda
Parseque41
4 months ago2mitCoq
Total Parser Combinators in Coq [maintainer=@womeier]
Alternatives To Agdarsec
Select To Compare


Suggest An Alternative To agdarsec
Alternative Project Comparisons
Agdarsec vs Parseque
Popular Parser Combinators Projects
Nom ⭐ 8,972
Rust parser combinator framework
dependent packages 1,917total releases 94latest release April 26, 2023most recent commit a month agocargo nom} Downloads
Chumsky ⭐ 3,148
Write expressive, high-performance parsers with ease.
dependent packages 73total releases 25latest release October 24, 2023most recent commit 3 months agocargo chumsky} Downloads
Sprache ⭐ 2,171
A tiny, friendly, C# parser construction library
dependent packages 176total releases 64latest release September 20, 2021most recent commit 8 months agonuget Sprache} Downloads
Popular Coq Projects
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Coq Agda

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Coq
Parser Combinators
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.