openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
Pygments
Settings
|
Report Duplicate
90
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
High Activity
Commits
: Listings
Analyzed
31 minutes
ago. based on code collected
about 13 hours
ago.
May 05, 2023 — May 05, 2024
Showing page 4 of 226
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
remove syntax that doesn't exist
Eric Wieser
More...
4 months ago
add to CHANGES
Eric Wieser
More...
4 months ago
[Spice] Add switch, case, default, fallthrough and compose keywords (#2621)
Marc Auberer
More...
4 months ago
Bump year to 2024.
Matthäus G. Chajdas
More...
4 months ago
Update the lean4 name regex to include ! and ?
Eric Wieser
More...
4 months ago
Add support for escaping EOL in string literals
Eric Wieser
More...
4 months ago
Add the `analyze_text` method
Eric Wieser
More...
4 months ago
update the name regex too
Eric Wieser
More...
4 months ago
Various fixes copied from the lean3 lexer
Eric Wieser
More...
4 months ago
Do not consider unrecognized tokens as errors
Eric Wieser
More...
4 months ago
rebuild the list of lexers
Eric Wieser
More...
4 months ago
Update to reflect Lexer changes
Eric Wieser
More...
4 months ago
Remove python2-isms
Eric Wieser
More...
4 months ago
Add lexer from https://github.com/leanprover/lean4/blob/d92948bc20b12f53542814c79469711ceff19fbf/doc/latex/lean4.py
Sebastian Ullrich
More...
4 months ago
Update CHANGES.
Matthäus G. Chajdas
More...
4 months ago
Merge pull request #2614 from eric-wieser/eric-wieser/lean-name
Matthäus G. Chajdas
More...
4 months ago
Update CHANGES
Jean Abou Samra
More...
4 months ago
fix
Eric Wieser
More...
4 months ago
Add coffee theme (#2609)
Ari Archer
More...
4 months ago
Update the expected test output
Eric Wieser
More...
4 months ago
test name literals too
Eric Wieser
More...
4 months ago
lean: fix the name regex
Eric Wieser
More...
4 months ago
Add MIME-Type to DesktopLexer (#2613)
JakobDev
More...
5 months ago
Update CHANGES
Jean Abou Samra
More...
5 months ago
Add a primitive lexer for Typst (#2596)
Julien Voisin
More...
5 months ago
Update CHANGES
Jean Abou Samra
More...
5 months ago
SQL Explain: allow negative numbers (#2610)
Adrien nayrat
More...
5 months ago
Add ternary expressions
funwolf7
More...
5 months ago
Fix float parsing
funwolf7
More...
5 months ago
Consolidate punctuation
funwolf7
More...
5 months ago
←
1
2
3
4
5
6
7
8
9
…
225
226
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree