codespecs / daikon
Dynamic detection of likely invariants
Why this job: works in the areas we cover, but does not say which job it does
What it does
This is the distribution of the Daikon invariant detector, Daikon version 5.9.1, released September 1, 2026.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit today
- Stars
- 269
- On GitHub
- Licence
- Custom
- Read before business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- C
- 38% of the code
Is it looked after?
- Contributors
- 2
- Last 90 days
- Issues
- 82% closed
- 19 still open
- Pull requests
- 748 merged
- 12 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| kaochenlong / spectra-app | 771 | 2 months ago | Custom | Mac, Windows |
| sdcb / csharp-runner | 111 | 10 months ago | MIT | No downloads |
More: languages, topics and project record
Languages
- C 38%
- Java 25%
- C++ 15%
- BlitzBasic 14%
Topics
- c
- java
- perl
- csharp
- eiffel
- machine-learning
- machinelearning
- specif
- specification-by-example
- specifications
Project record
- JobOther AI tools
- StatusListed
- Commits12,192
- Forks61
- Watching4
- Stars in 28 days+2
- CreatedJun 14, 2015
- First seen by usNov 7, 2026
- CheckedNov 12, 2026