hex.pm "concurrent-programming" keyword
concuerror 0.21.0
Concuerror: Stateless Model Checking tool for Erlang programs2 versions - Latest release: over 5 years ago - 1 dependent repositories - 1.05 thousand downloads total - 332 stars on GitHub - 1 maintainer
gepa_ex 0.1.2
Elixir implementation of the GEPA (Genetic-Pareto) optimizer that combines LLM-powered reflection...3 versions - Latest release: 3 months ago - 141 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
erlang
2
otp
2
automatic
1
artificial-intelligence
1
beam
1
elixir
1
erlang-otp
1
evolutionary-algorithms
1
functional-programming
1
gemini
1
genetic-algorithms
1
llm
1
machine-learning
1
multi-objective-optimization
1
nshkr-ai-infra
1
openai
1
optimization
1
pareto-optimization
1
prompt-optimization
1
codecov
1
codecov-badge
1
concuerror
1
concurrent-erlang-programs
1
debugging
1
erlang-programs
1
erlang-versions-badge
1
model-checker
1
model-checking
1
stateless-model-checking
1
systematic-testing
1
testing
1
tool
1
travis-badge
1
verification
1
ai-optimization
1