Agdarsec Alternatives

Similar projects and alternatives to agdarsec

julia

350 44,510 10.0 Julia agdarsec VS julia

The Julia Programming Language
ghc-proposals

159 670 9.1 Python agdarsec VS ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell
WorkOS

workos.com sponsored

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.
klfc

13 202 0.0 Haskell agdarsec VS klfc

Keyboard Layout Files Creator
idris

5 3,408 6.2 Haskell agdarsec VS idris

A Dependently Typed Functional Programming Language
24-days-of-purescript-2016

2 286 0.0 agdarsec VS 24-days-of-purescript-2016

24 Days of PureScript, 2016
agda-stdlib

4 556 9.3 Agda agdarsec VS agda-stdlib

The Agda standard library
Agda

1 116 0.0 Agda agdarsec VS Agda

Agda formalisation of the Introduction to Homotopy Type Theory (by HoTT-Intro)
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
template-agda

1 8 0.0 Agda agdarsec VS template-agda

An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better agdarsec alternative or higher similarity.

Suggest an alternative to agdarsec

agdarsec reviews and mentions

Posts with mentions or reviews of agdarsec. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-03-10.

Record dot syntax has been merged
8 projects | /r/haskell | 10 Mar 2021

I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-3.1.14.0/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.