Alhadis / language-grammars
Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
☆19Updated last year
Related projects: ⓘ
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- ☆18Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- CLI tools for mathjax-node☆32Updated 10 months ago
- Curated list of awesome tree-sitter language grammars, bindings, tools, libraries☆43Updated 2 years ago
- The Unix way to keep a personal journal☆16Updated 3 years ago
- Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.☆17Updated last month
- Programmable, human-readable inlining of Python code☆29Updated last year
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated last month
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆21Updated last year
- TexLive programs bundled into a single static binary for x86_64-linux / WASM☆37Updated 2 weeks ago
- A collection of lambda calculus interpreters and development tools☆14Updated last year
- Partial evaluation of Python code☆18Updated last year
- Terminal CLI to Mathics3☆51Updated last month
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆36Updated 6 months ago
- Bringing the power of python to stream editing☆50Updated 2 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆15Updated 6 months ago
- HTML representation for Python objects.☆15Updated last week
- 150 paragraphs of Lorem ipsum dummy text for LaTeX☆12Updated 11 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- Like `which`, for dynamic libraries☆35Updated 6 months ago
- A snail without its shell☆15Updated 4 months ago
- Convert an EBNF grammar to the tree-sitter dsl☆24Updated 9 months ago
- Tree Notation Python Library☆14Updated last year
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆23Updated last month
- Metamath verifier in Python☆35Updated 5 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆26Updated last week
- tiny emacs☆24Updated 2 years ago
- Literate Programming in C/C++☆28Updated 2 weeks ago