gramma's grammar

Parsing the Dynamic Operator Precedence Grammar

Brought to you by: fundagain, xraya4t

Add a Review

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

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free

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

Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

Recommended Projects

AWX Operator
An Ansible AWX operator for Kubernetes built with Operator SDK
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.
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,