Skip to content

Port of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.

active 2024-04-262025-01-11 (UTC)

Complete coverage26,696 / 26,696 hourly files (100%) · 2 absent upstream2023-08-152026-08-31 (UTC)
Events
47
Pushes
24
Pull requests
13
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 261 days from 2024-04-26 to 2025-01-11. Pushes: 24 total, peak 12 in a day. Pull requests: 13 total, peak 9 in a day. Issues: 0 total, peak 0 in a day. Comments: 5 total, peak 3 in a day. Stars: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
scherenhaenden3622113
penify-dev[bot]4220
sourcery-ai[bot]1001
korbit-ai[bot]1001

Recent activity

Latest issues, pull requests and releases

  • Issue comment#7sourcery-ai[bot]2025-01-11 08:44
    [Penify]: Setting up Automated AI-Driven Documentation for GitHub!
  • Issue comment#7korbit-ai[bot]2025-01-11 08:44
    [Penify]: Setting up Automated AI-Driven Documentation for GitHub!
  • Pull request#7penify-dev[bot]2025-01-11 08:44
  • Pull request#7penify-dev[bot]2025-01-11 08:44
  • Pull request#6scherenhaenden2024-04-30 08:17
  • Pull request#5scherenhaenden2024-04-30 08:15
  • Pull request#5scherenhaenden2024-04-30 08:15
  • Pull request#4scherenhaenden2024-04-30 08:13
  • Issue comment#4scherenhaenden2024-04-30 08:13
    try now
  • Pull request#4scherenhaenden2024-04-30 08:13
  • Pull request#3scherenhaenden2024-04-30 08:09
  • Issue comment#3scherenhaenden2024-04-30 08:09
    leave this one work
  • Pull request#3scherenhaenden2024-04-30 08:09
  • Pull request#2scherenhaenden2024-04-30 08:06
  • Issue comment#2scherenhaenden2024-04-30 08:06
    Test
  • Pull request#2scherenhaenden2024-04-30 08:06
  • Pull request#1scherenhaenden2024-04-26 09:31
  • Pull request#1scherenhaenden2024-04-26 09:31

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.