Alhadis / language-grammarsLinks
Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
☆21Updated 2 years ago
Alternatives and similar repositories for language-grammars
Users that are interested in language-grammars are comparing it to the libraries listed below
Sorting:
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- Automatically exported from code.google.com/p/joypy☆29Updated 7 years ago
- Project to verify the Guy-Selfridge conjectures☆17Updated this week
- Linux redistributable for shipping MetaCall Core.☆12Updated this week
- My public wallpapers for consumption by downstream projects☆13Updated last year
- a graph definition and execution library for python☆16Updated 2 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated last week
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 7 months ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆19Updated 5 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 2 months ago
- ☆14Updated last year
- A markup language for high efficiency note taking☆16Updated 7 months ago
- 150 paragraphs of Lorem ipsum dummy text for LaTeX☆14Updated last year
- minimalistic symbolic term rewriting framework☆15Updated this week
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Updated last year
- Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure☆63Updated 3 weeks ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆17Updated 5 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 weeks ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last year
- A database app for ring theory☆22Updated 2 weeks ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆13Updated 2 months ago
- Omgrofl interpreter☆16Updated 4 years ago
- Prototype - IDE for your brain☆11Updated 4 months ago
- High-performance Python runtime extensions☆19Updated this week
- Tree Notation Python Library☆14Updated 2 years ago
- python library with a set of tools for simple debugging of python programs☆19Updated 2 years ago