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

$300 Free Credits to Build on Google Cloud Icon

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

AWX Operator
An Ansible AWX operator for Kubernetes built with Operator SDK
Mutabor
Perform dynamic tunings for realtime music.
Rust-Peg
Parsing Expression Grammar (PEG) parser generator for Rust
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.