CAcaminocorner·Mar 13, 2021Submission
Bx-Parsing: Bidirectional Megamodel of Parsing, Tokenising, Stripping, etc.
3 points · Open discussiongrammarware
bx-parsing
Rascal2021–2021
grammarware / bx-parsing
bx-parsing
Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, Formatting, Visualising, Rendering and Recognising
2Distinct people
2Mentions
0Explicit recommenders
19GitHub stars
What to know before exploring
What it is
Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, Formatting, Visualising, Rendering and Recognising
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by day2 dated mentions
Observed mentions: 2021-02-12 18:24:00 UTC to 2021-03-13 17:11:58 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| Feb 12 | 2021-02-12 00:00:00 UTC | 2021-02-13 00:00:00 UTC | 1 | 0 | 1 |
| Feb 13 | 2021-02-13 00:00:00 UTC | 2021-02-14 00:00:00 UTC | 0 | 0 | 0 |
| Feb 14 | 2021-02-14 00:00:00 UTC | 2021-02-15 00:00:00 UTC | 0 | 0 | 0 |
| Feb 15 | 2021-02-15 00:00:00 UTC | 2021-02-16 00:00:00 UTC | 0 | 0 | 0 |
| Feb 16 | 2021-02-16 00:00:00 UTC | 2021-02-17 00:00:00 UTC | 0 | 0 | 0 |
| Feb 17 | 2021-02-17 00:00:00 UTC | 2021-02-18 00:00:00 UTC | 0 | 0 | 0 |
| Feb 18 | 2021-02-18 00:00:00 UTC | 2021-02-19 00:00:00 UTC | 0 | 0 | 0 |
| Feb 19 | 2021-02-19 00:00:00 UTC | 2021-02-20 00:00:00 UTC | 0 | 0 | 0 |
| Feb 20 | 2021-02-20 00:00:00 UTC | 2021-02-21 00:00:00 UTC | 0 | 0 | 0 |
| Feb 21 | 2021-02-21 00:00:00 UTC | 2021-02-22 00:00:00 UTC | 0 | 0 | 0 |
| Feb 22 | 2021-02-22 00:00:00 UTC | 2021-02-23 00:00:00 UTC | 0 | 0 | 0 |
| Feb 23 | 2021-02-23 00:00:00 UTC | 2021-02-24 00:00:00 UTC | 0 | 0 | 0 |
| Feb 24 | 2021-02-24 00:00:00 UTC | 2021-02-25 00:00:00 UTC | 0 | 0 | 0 |
| Feb 25 | 2021-02-25 00:00:00 UTC | 2021-02-26 00:00:00 UTC | 0 | 0 | 0 |
| Feb 26 | 2021-02-26 00:00:00 UTC | 2021-02-27 00:00:00 UTC | 0 | 0 | 0 |
| Feb 27 | 2021-02-27 00:00:00 UTC | 2021-02-28 00:00:00 UTC | 0 | 0 | 0 |
| Feb 28 | 2021-02-28 00:00:00 UTC | 2021-03-01 00:00:00 UTC | 0 | 0 | 0 |
| Mar 1 | 2021-03-01 00:00:00 UTC | 2021-03-02 00:00:00 UTC | 0 | 0 | 0 |
| Mar 2 | 2021-03-02 00:00:00 UTC | 2021-03-03 00:00:00 UTC | 0 | 0 | 0 |
| Mar 3 | 2021-03-03 00:00:00 UTC | 2021-03-04 00:00:00 UTC | 0 | 0 | 0 |
| Mar 4 | 2021-03-04 00:00:00 UTC | 2021-03-05 00:00:00 UTC | 0 | 0 | 0 |
| Mar 5 | 2021-03-05 00:00:00 UTC | 2021-03-06 00:00:00 UTC | 0 | 0 | 0 |
| Mar 6 | 2021-03-06 00:00:00 UTC | 2021-03-07 00:00:00 UTC | 0 | 0 | 0 |
| Mar 7 | 2021-03-07 00:00:00 UTC | 2021-03-08 00:00:00 UTC | 0 | 0 | 0 |
| Mar 8 | 2021-03-08 00:00:00 UTC | 2021-03-09 00:00:00 UTC | 0 | 0 | 0 |
| Mar 9 | 2021-03-09 00:00:00 UTC | 2021-03-10 00:00:00 UTC | 0 | 0 | 0 |
| Mar 10 | 2021-03-10 00:00:00 UTC | 2021-03-11 00:00:00 UTC | 0 | 0 | 0 |
| Mar 11 | 2021-03-11 00:00:00 UTC | 2021-03-12 00:00:00 UTC | 0 | 0 | 0 |
| Mar 12 | 2021-03-12 00:00:00 UTC | 2021-03-13 00:00:00 UTC | 0 | 0 | 0 |
| Mar 13 | 2021-03-13 00:00:00 UTC | 2021-03-14 00:00:00 UTC | 1 | 1 | 0 |
What Hacker News says
2 sourcesI had (maybe unreasonably) hoped that this course would provide a glimpse into how CT can be applied to organizing and processing data in the sense of keywords like "knowledge graphs", "graph databases", "ontologies", "model-based engineering".... And on top of that, representing operations to do meaningful (semantic) version control on these representations (e.g. [1, 2]), and bidirectional transformations [3] between structured representations (e.g. [3, 4] and "Triple Graph Grammars"). I have the sense that there are dozens of disparate concepts and that category theory offers some unifying power.
I hope that there simply hasn't been enough work done to do a category-theoretic treatment of all of these topics, and that perhaps even more category theory itself needs to be developed so that there are good ways to talk about concepts that a
Read the rest
re almost-but-not-quite-entirely described or subsumed by category theory.
The alternative is that I'm painfully wrong about what applied category theory aims to be, and that I have a ton of application-specific terms to learn about and won't find a formalization of the sense in which all of these concepts relate.
[1] https://en.wikibooks.org/wiki/Understanding_Darcs/Patch_theo...
[2] https://github.com/trailofbits/graphtage
[3] http://bx-community.wikidot.com
[4] https://github.com/grammarware/bx-parsing
[5] https://en.wikipedia.org/wiki/QVT
[6] http://graphdatamodeling.com/Graph%20Data%20Modeling/GraphQL...
[7] https://neo4j.com/developer/guide-data-modeling/
[8] https://web-cats.gitlab.io/#some-of-the-cats-we-come-across
[9] http://pauillac.inria.fr/~pilkiewi/papers/boomerang-tr.pdf