Statically typed BNF with semantic actions; A frontend of frontend frameworks; Use your grammar everywhere.

Last update: Dec 14, 2022

Related tags

Overview

Typed BNF

Given a grammar:

shape token {
    lexeme : str
}
polyrule  :    { fn (a) -> ($1.lexeme, $2, a) }
polyrule2 :  polyrule { fn (a) -> $2(a) }

We type inference it:

polyrule : forall 'a. ('a) -> (str, token, 'a) polyrule2 : forall 'a. ('a) -> (str, token, 'a)

Then we can lower it to a BNF grammar used by other parser framework, no matter which programming language is the target.

Lark Backend

python -m tbnf GRAMMAR.tbnf lark [--outdir OUTDIR=.] [--mod MODULENAME=mylang]

Antlr Backend

python -m tbnf GRAMMAR.tbnf antlr [--outdir OUTDIR=.] [--mod MODULENAME=mylang]

This is a repository containing the backend and the frontend of a simple pokédex.

Pokémon This is a repository containing the backend and the frontend of a simple pokédex. This is a work in progress project! Project Structure 🗂 pok

1 Nov 28, 2021

apysc is the Python frontend library to create html and js file, that has ActionScript 3 (as3)-like interface.

apysc apysc is the Python frontend library to create HTML and js files, that has ActionScript 3 (as3)-like interface. Notes: Currently developing and

17 Dec 14, 2022

We'll be using HTML, CSS and JavaScript for the frontend

We'll be using HTML, CSS and JavaScript for the frontend. Nothing to install in specific. Open your text-editor and start coding a beautiful front-end.

1 Dec 15, 2021

This repo houses the qhub frontend moving forward.

This repo houses the qhub frontend moving forward. This effort will house a backend written in fastAPI, and a fronend in Vue, with additional components.

1 Feb 10, 2021

Its a simple and fun to use application. You can make your own quizes and send the lik of the quiz to your friends.

Quiz Application Its a simple and fun to use application. You can make your own quizes and send the lik of the quiz to your friends. When they would a

1 Feb 23, 2022

The earliest beta version of pytgcalls on Linux x86_64 and ARM64! Use in production at your own risk!

Public beta test. Use in production at your own risk! tgcalls - a python binding for tgcalls (c++ lib by Telegram); pytgcalls - library connecting pyt

21 Jan 13, 2022

Automatically give thanks to Pypi packages you use in your project!

25 Dec 20, 2021

🟥This is an overview of how to set up and use DataStore3 in your Roblox experiences

Welcome to DataStore3 👋 This is an overview of how to set up and use DataStore3 in your Roblox experiences What is it? 🤔 DataStore3 is a service tha

7 Aug 19, 2022

Simple AoC helper program you can use to develop your own solutions in python.

AoC-Compabion Simple AoC helper program you can use to develop your own solutions in python. Simply install it in your python environment using pip fr

1 Dec 20, 2021

Comments

use `A` for type parameters instead of `'A`

This is because we want to support single quote literals such as 'x'. So far we use ANTLR backends to implement the metaparser(parser for Typed BNF itself), which makes it hard for us to achieve contextual lexing.

opened by thautwarm 0
dependencies of lexer definition
For antlr-csharp backend, such lexer rules work:

<int> : DIGIT+ <DIGIT> : [0 .. 9]

<int> can be defined before presenting <DIGIT>, however, this will cause a compile error in ocaml-menhir+sedlex backend:

let rule_INT_5 = [%sedlex.regexp? Plus (rule_DIGIT_4)] let rule_DIGIT_4 = [%sedlex.regexp? ('0' .. '9')]

It's easy to resolve this order but I don't think it deserve a high priority.
opened by thautwarm 0

Releases(0.2)

0.2(Aug 7, 2022)

> node tbnf.js  ./runtests/simple_json.tbnf -o ./runtests/julia_simple_json -lang "simple_json" -be julia-fff

> node tbnf.js --help
usage: tbnf.js [-h] [-o OUTDIR] [-lang LANGUAGE]
               [-be {python-lark,ocaml-menhir,csharp-antlr,typescript-antlr,julia-fff,purebnf}]
               [-conf CONFIGPATH]
               tbnfSourcePath

positional arguments:
  tbnfSourcePath

optional arguments:
  -h, --help            show this help message and exit
  -o OUTDIR, --outDir OUTDIR
  -lang LANGUAGE, --language LANGUAGE
                        name of your own language
  -be {python-lark,ocaml-menhir,csharp-antlr,typescript-antlr,julia-fff,purebnf}, --backend {python-lark,ocaml-menhir,csharp-antlr,typescript-antlr,julia-fff,purebnf}
  -conf CONFIGPATH, --configPath CONFIGPATH
                        path to a config file

Source code(tar.gz)
Source code(zip)
tbnf-linux(38.72 MB)
tbnf-macos(44.25 MB)
tbnf-win.exe(32.57 MB)
tbnf.js(2.08 MB)

0.1(Aug 6, 2022)

Source code(tar.gz)
Source code(zip)
tbnf.js(1.99 MB)

Owner

Taine Zhao

GitHub Repository

A scuffed remake of Kahoot... Made by Y9 and Y10 SHSB

3 Oct 28, 2022

Extend the maya channel box with searchability and colour

channel-box-plus will add search-ability over its attributes, and it will colour user defined attributes, making them easier to distinguish.

12 Jun 08, 2022

fetchmesh is a tool to simplify working with Atlas anchoring mesh measurements

A Python library for working with the RIPE Atlas anchoring mesh. fetchmesh is a tool to simplify working with Atlas anchoring mesh measurements. It ca

2 Aug 30, 2022

Statically typed BNF with semantic actions; A frontend of frontend frameworks; Use your grammar everywhere.

56 Dec 14, 2022

A curses based mpd client with basic functionality and album art.

Miniplayer A curses based mpd client with basic functionality and album art. After installation, the player can be opened from the terminal with minip

102 Dec 24, 2022

Viewer for NFO files

NFO Viewer NFO Viewer is a simple viewer for NFO files, which are "ASCII" art in the CP437 codepage. The advantages of using NFO Viewer instead of a t

114 Dec 29, 2022

Check if Python package names are available on PyPI.

😻 isavailable Can I haz this Python package on PyPI? Check if Python package names are available on PyPI. Usage $ isavailable checks whether your des

3 May 18, 2022

A collection of useful functions for writers to analyze text/stories.

AuthorTools AuthorTools provides a multitude of functions for easily analyzing (your?) writing. AuthorTools is made especially for creative writers wi

1 Jan 14, 2022

combs is a package used to generate all possible combinations of a given length k on a given set.

The package combs is a package used to generate all possible combinations of a given length k on a given set. The set is given as a list, and k must b

1 Dec 24, 2021

Ikaros is a free financial library built in pure python that can be used to get information for single stocks, generate signals and build prortfolios

64 Sep 28, 2022

Statically typed BNF with semantic actions; A frontend of frontend frameworks; Use your grammar everywhere.

Related tags

Overview

Typed BNF

Lark Backend

Antlr Backend

You might also like...

This is a repository containing the backend and the frontend of a simple pokédex.

apysc is the Python frontend library to create html and js file, that has ActionScript 3 (as3)-like interface.

We'll be using HTML, CSS and JavaScript for the frontend

This repo houses the qhub frontend moving forward.

Its a simple and fun to use application. You can make your own quizes and send the lik of the quiz to your friends.

The earliest beta version of pytgcalls on Linux x86_64 and ARM64! Use in production at your own risk!

Automatically give thanks to Pypi packages you use in your project!

🟥This is an overview of how to set up and use DataStore3 in your Roblox experiences

Simple AoC helper program you can use to develop your own solutions in python.

Comments

use `A` for type parameters instead of `'A`

dependencies of lexer definition

Releases(0.2)

0.2(Aug 7, 2022)

0.1(Aug 6, 2022)

Owner

Taine Zhao

A scuffed remake of Kahoot... Made by Y9 and Y10 SHSB

Extend the maya channel box with searchability and colour

fetchmesh is a tool to simplify working with Atlas anchoring mesh measurements

Statically typed BNF with semantic actions; A frontend of frontend frameworks; Use your grammar everywhere.

A curses based mpd client with basic functionality and album art.

Viewer for NFO files

Check if Python package names are available on PyPI.

A collection of useful functions for writers to analyze text/stories.

combs is a package used to generate all possible combinations of a given length k on a given set.

Ikaros is a free financial library built in pure python that can be used to get information for single stocks, generate signals and build prortfolios

peace-performance (Rust) binding for python. To calculate star ratings and performance points for all osu! gamemodes

Make your Discord Account Online 24/7!

Make discord server By Coding!

Repo with data from local elections in Portugal from 2009 to 2013

Self sustained producer-consumer(prosumer) policy study using Python and Gurobi

Always fill your package requirements without the user having to do anything! Simple and easy!

Active Transport Analytics Model: A new strategic transport modelling and data visualization framework

El_Binario - A converter for Binary, Decimal, Hexadecimal and Octal numbers

Rates how pog a word or user is. Not random and does have *some* kind of algorithm to it.

Tools for downloading and processing numerical weather predictions

Rates how pog a word or user is. Not random and does have some kind of algorithm to it.