fuuzetsu / agdoparsec Goto Github PK
View Code? Open in Web Editor NEWAgda implementation of what aims to model the behaviour of Haskell's Attoparsec library.
License: GNU General Public License v3.0
Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library.
License: GNU General Public License v3.0
An Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library. This implementation simply uses Strings/[Char] and does not worry about the performance of the resulting parser. We are simply interested in a parser implementation that produces the same output as Attoparsec does. The project is temporarily on hiatus as the author needs to rethink the goal. The fundamental problem is that Attoparsec uses combinators from Alternative which are inherently non-terminating. What needs to happen is that we either end up using co-induction to model that or we only implement best-faith combinators, such as those only working on right-recursive grammars at which point it's not as close to the Attoparsec model as we'd like. Nils Anders Danielsson appears to have written a parser library in Agda already but it does not compile with current Agda. I am currently waiting for him to find some time and give it a look. Related reading: http://www.andres-loeh.de/DependentlyTypedGrammars/DependentlyTypedGrammars.pdf http://www.andres-loeh.de/STC-AgdaParsers.pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.157.8813&rep=rep1&type=pdf http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=271
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.