Alhadis / language-grammars
Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
☆20Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for language-grammars
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆39Updated 9 months ago
- ☆15Updated 3 years ago
- Tree Notation Python Library☆14Updated last year
- Bringing the power of python to stream editing☆50Updated last week
- Some CSS experiments for arXiv HTML documents converted via latexml☆16Updated last month
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Updated 5 months ago
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 3 years ago
- Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.☆17Updated 3 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …☆76Updated last week
- Visual search interface☆11Updated 2 years ago
- Curated list of awesome tree-sitter language grammars, bindings, tools, libraries☆43Updated 3 years ago
- ☆30Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- TexLive programs bundled into a single static binary for x86_64-linux / WASM☆40Updated last month
- Runtime and miner for the LODA language written in C++☆22Updated this week
- Programmable, human-readable inlining of Python code☆29Updated last year
- Plot summaries of lines of code written☆11Updated last month
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆31Updated 2 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated this week
- Convert an EBNF grammar to the tree-sitter dsl☆24Updated 11 months ago
- Collection of diagrams from articles☆31Updated 6 months ago
- Portable project automation and dependency bootstrapping for polyglot projects☆23Updated 7 months ago
- A place for public review of the posix port of stage0☆106Updated last month
- CLI tools for mathjax-node☆33Updated last year
- ☆31Updated 6 months ago
- A snail without its shell☆16Updated 6 months ago
- ☆15Updated 3 months ago
- Tracking schema validation and editor support of data description languages.☆16Updated 3 months ago
- emo•ji for all (LaTeX engines) 🎉☆13Updated last year