Daikon
libelektra
Daikon | libelektra | |
---|---|---|
1 | 3 | |
202 | 204 | |
1.5% | 0.0% | |
7.8 | 9.4 | |
4 days ago | 8 months ago | |
C | C | |
GNU General Public License v3.0 or later | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Daikon
libelektra
- Elektra – The Configuration Framework for Everyone
-
Everything that uses configuration files should report where they're located
It should also report the syntax and so on, and actually you want a way to directly modify configuration values. So if you think this through, you will end up with something like https://www.libelektra.org
-
Let’s solidify the BSDs on the desktop!
While I'd like to see something like this, I'm not sure if it would have a realistic chance to be accepted by most BSD users. Still I'd like to propose Elektra for that purpose. It's permissively licensed (BSD 3-clause), well thought-out and documented, very flexible and upstream would be happy to work together with the BSDs. I also like their "context-aware configuration" model. They haven't been terribly successful on Linux as each and every system component is being maintained by someone else, but on a BSD with full control over a dependable base system it has a lot of potential.
What are some alternatives?
Checker Framework - Pluggable type-checking for Java
whatfiles - Log what files are accessed by any Linux process
OpenJML - This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
click-extra - 🌈 Extra colorization and configuration loading for Click.
JMLOK 2.0 - Tool for detecting and classifying nonconformances in Java/JML projects.
kafka-images - Confluent Docker images for Apache Kafka
CATG - a concolic testing engine for Java
fyne - Cross platform GUI toolkit in Go inspired by Material Design
jCUTE - Java Concolic Unit Testing Engine
processhacker - A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals.com [Moved to: https://github.com/winsiderss/systeminformer]
cakeml - CakeML: A Verified Implementation of ML
obs-studio - OBS Studio - Free and open source software for live streaming and screen recording