gramma's grammar

Parsing the Dynamic Operator Precedence Grammar

Brought to you by: fundagain, xraya4t

Downloads: 0 This Week

Last Update: 2016-11-10

Browse Code

Get an email when there's a new version of gramma's grammar

This project aims to deliver a table-driven type-sensitive full "operator precedence" parser.

The project is required by principia.

Milestone one is the single-type case, sufficient for universal algebras and deductive systems (in the sense of Blok and Pigozzi, and including propositional logics).

Milestone two is the parser for the multi-typed operator precedence grammar, required for predicate logics.

Project Activity

See All Activity >

Follow gramma's grammar

gramma's grammar Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0 Icon

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of gramma's grammar!

Additional Project Details

Registered

2013-01-14

Report inappropriate content

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Recommended Projects

AWX Operator
An Ansible AWX operator for Kubernetes built with Operator SDK
Tweety
Tweety is a collection of various Java libraries that implement approaches to different areas of artificial intelligence. In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e.g. mathematical optimization complement the collection.
From PEG to a practical parser
Transcribe Parsing Expression Grammar into a parser written in Java.
DIG Interface
XML schemas, XMLBeans, and Java implementation of the DIG interface -- a standardised XML interface to Description Logics systems developed by the DL Implementation Group (DIG).
KUDO
Kubernetes Universal Declarative Operator (KUDO)