https://github.com/moves-rwth/prophesy
Parameter Synthesis in Markov Models
markov-chain
model-checking
parameters
research
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: March 30, 2017
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Python
- Commits: 1174
- Committers: 18
- Issues: 7
- Pull Requests: 1
- Owner: moves-rwth
- Stars: 6
- Forks: 4
- Packages: 1
- Downloads: 24
https://github.com/neptune-ai/neptune-optuna
🚀 Optuna visualization dashboard that lets you log and monitor hyperparameter sweep live.
compare
experiment
hyperparameters
management
mlops
optimization
parameters
plot
plots
tracker
tracking
tuning
visualize
viz
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: May 04, 2021
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Python
- Commits: 161
- Committers: 11
- Issues: 9
- Pull Requests: 32
- Owner: neptune-ai
- Stars: 9
- Forks: 4
- Packages: 2
- Downloads: 2,950
https://github.com/hexadigmsystems/functiontraits
Professionally written C++ function traits library (single header-only) for retrieving info about any function (arg types, arg count, return type, etc.)
arguments
cpp
functions
header-only-library
parameters
templates
traits
types
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: April 28, 2023
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: C++
- Commits: 19
- Committers: 3
- Issues: 0
- Pull Requests: 1
- Owner: HexadigmSystems
- Stars: 22
- Forks: 3
- Packages: 0
