90
I Use This!
High Activity

Commits : Listings

Analyzed 31 minutes ago. based on code collected about 13 hours ago.
May 05, 2023 — May 05, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
remove syntax that doesn't exist More... 4 months ago
add to CHANGES More... 4 months ago
[Spice] Add switch, case, default, fallthrough and compose keywords (#2621) More... 4 months ago
Bump year to 2024. More... 4 months ago
Update the lean4 name regex to include ! and ? More... 4 months ago
Add support for escaping EOL in string literals More... 4 months ago
Add the `analyze_text` method More... 4 months ago
update the name regex too More... 4 months ago
Various fixes copied from the lean3 lexer More... 4 months ago
Do not consider unrecognized tokens as errors More... 4 months ago
rebuild the list of lexers More... 4 months ago
Update to reflect Lexer changes More... 4 months ago
Remove python2-isms More... 4 months ago
Add lexer from https://github.com/leanprover/lean4/blob/d92948bc20b12f53542814c79469711ceff19fbf/doc/latex/lean4.py More... 4 months ago
Update CHANGES. More... 4 months ago
Merge pull request #2614 from eric-wieser/eric-wieser/lean-name More... 4 months ago
Update CHANGES More... 4 months ago
fix More... 4 months ago
Add coffee theme (#2609) More... 4 months ago
Update the expected test output More... 4 months ago
test name literals too More... 4 months ago
lean: fix the name regex More... 4 months ago
Add MIME-Type to DesktopLexer (#2613) More... 5 months ago
Update CHANGES More... 5 months ago
Add a primitive lexer for Typst (#2596) More... 5 months ago
Update CHANGES More... 5 months ago
SQL Explain: allow negative numbers (#2610) More... 5 months ago
Add ternary expressions More... 5 months ago
Fix float parsing More... 5 months ago
Consolidate punctuation More... 5 months ago