Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tree Sitter Lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover
Stars
18
License
mit
Open Issues
3
Most Recent Commit
2 years ago
Programming Language
C
Categories
Repo
Alternatives To Tree Sitter Lean
Select To Compare
Rich ⭐ 47,095
Rich is a Python library for rich text and beautiful formatting in the terminal.
dependent packages 5,726total releases 190most recent commit 17 days agopypi rich} Downloads
Bat ⭐ 44,818
A cat(1) clone with wings.
dependent packages 54total releases 39most recent commit 4 months agocargo bat} Downloads
Highlight.js ⭐ 22,676
JavaScript syntax highlighter with language auto-detection and zero dependencies.
dependent packages 10,872total releases 100most recent commit 4 months agonpm highlight.js} Downloads
Pgcli ⭐ 11,435
Postgres CLI with autocompletion and syntax highlighting
dependent packages 6total releases 73most recent commit 5 months agopypi pgcli} Downloads
Jupyter Themes ⭐ 9,649
Custom Jupyter Notebook Themes
dependent packages 29total releases 116most recent commit 7 months agopypi jupyterthemes} Downloads


Suggest An Alternative To tree-sitter-lean
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization
Related Searches
C Lean
C Tree Sitter
Lean Lean4
C Syntax Highlighting
Syntax Highlighting Tree Sitter
C Context Free Grammar
C Lean4
Syntax Highlighting Lean

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Syntax Highlighting
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.