An OCaml abstraction layer for constraint solvers.
active 2023-10-31 → 2024-04-13 (UTC)
Partial coverage19,938 / 25,650 hourly files (78%) · 2 absent upstream · 5,709 failed, retryable2023-09-09 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
402
Pushes
166
Pull requests
48
Issues
20
Stars
3
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 166 days from 2023-10-31 to 2024-04-13. Pushes: 166 total, peak 11 in a day. Pull requests: 48 total, peak 6 in a day. Issues: 20 total, peak 3 in a day. Comments: 69 total, peak 19 in a day. Stars: 3 total, peak 1 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
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| filipeom | 275 | 159 | 43 | 36 |
| zapashcanon | 41 | 0 | 1 | 22 |
| hra687261 | 15 | 0 | 1 | 10 |
| joaomhmpereira | 7 | 5 | 2 | 0 |
| krtab | 2 | 0 | 1 | 1 |
| deadstrobe5 | 2 | 2 | 0 | 0 |
| epatrizio | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#55filipeom2024-04-13 22:03SAT caching
- Pull request#105filipeom2024-04-13 22:03
- Issue comment#76filipeom2024-04-13 19:58Canonization and SAT cache
- Pull request#76filipeom2024-04-13 19:58
- Pull request#105filipeom2024-04-13 19:54
- Pull request#104filipeom2024-04-13 15:31
- Pull request#78filipeom2024-04-13 14:47
- Pull request#104filipeom2024-04-13 08:54
- Issue#102filipeom2024-03-28 22:50wrong repo
- Pull request#100filipeom2024-03-27 22:42
- Pull request#100filipeom2024-03-26 22:35
- Issue#98filipeom2024-03-24 22:13Crash in symbolic string operations
- Pull request#97filipeom2024-03-23 09:25
- Pull request#97filipeom2024-03-23 01:59
- Pull request#94filipeom2024-03-16 16:31
- Pull request#94filipeom2024-03-16 15:58
- Pull request#93filipeom2024-03-14 22:00
- Pull request#93filipeom2024-03-14 21:17
- Pull request#91filipeom2024-03-14 00:00
- Pull request#90joaomhmpereira2024-03-12 22:47
- Issue#88filipeom2024-03-09 20:03Make expression a GADT
- Pull request#87filipeom2024-03-09 18:59
- Pull request#86filipeom2024-03-06 01:18
- Pull request#84filipeom2024-03-02 15:06
- Pull request#84filipeom2024-03-02 13:21
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.