libelektra
Daikon
libelektra | Daikon | |
---|---|---|
3 | 1 | |
204 | 202 | |
0.0% | 1.5% | |
9.4 | 7.8 | |
8 months ago | 6 days ago | |
C | C | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
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.
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.
Daikon
What are some alternatives?
whatfiles - Log what files are accessed by any Linux process
Checker Framework - Pluggable type-checking for Java
click-extra - 🌈 Extra colorization and configuration loading for Click.
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:
kafka-images - Confluent Docker images for Apache Kafka
JMLOK 2.0 - Tool for detecting and classifying nonconformances in Java/JML projects.
fyne - Cross platform GUI toolkit in Go inspired by Material Design
CATG - a concolic testing engine for Java
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]
jCUTE - Java Concolic Unit Testing Engine
obs-studio - OBS Studio - Free and open source software for live streaming and screen recording
cakeml - CakeML: A Verified Implementation of ML