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

Build Securely on Azure with Proven Frameworks Icon

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download 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

Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Try it free

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.
jCOLIBRI: CBR Framework
jCOLIBRI: an object-oriented framework in Java for building Case-Based Reasoning (CBR) systems. Supports Textual-CBR, Knowledge Intensive CBR with Description Logics reasoning through Ontologies, Web interfaces, evaluation of the generated applications,
From PEG to a practical parser
Transcribe Parsing Expression Grammar into a parser written in Java.
apache/solr-operator
Official Kubernetes operator for Apache Solr