-
-
optuna Public
Forked from optuna/optunaA hyperparameter optimization framework
Python Other UpdatedDec 18, 2025 -
notist Public
A Simple Package to Send Notifications of Script Execution Status
-
Prover-Agent Public
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
-
-
verl Public
Forked from volcengine/verlverl: Volcano Engine Reinforcement Learning for LLMs
Python Apache License 2.0 UpdatedOct 5, 2025 -
optunahub-registry Public
Forked from optuna/optunahub-registryThe registry of the OptunaHub packages
Jupyter Notebook MIT License UpdatedAug 22, 2025 -
optunahub Public
Forked from optuna/optunahubPython library to use packages in OptunaHub
Python MIT License UpdatedMay 30, 2025 -
aider Public
Forked from Aider-AI/aideraider is AI pair programming in your terminal
Python Apache License 2.0 UpdatedJan 19, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 24, 2024 -
repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedDec 24, 2024 -
optuna-examples Public
Forked from optuna/optuna-examplesExamples for https://github.com/optuna/optuna
Python MIT License UpdatedNov 1, 2024 -
optuna-integration Public
Forked from optuna/optuna-integrationExtended functionalities for Optuna in combination with third-party libraries.
Python MIT License UpdatedOct 25, 2024 -
langchain Public
Forked from langchain-ai/langchain🦜🔗 Build context-aware reasoning applications
Python MIT License UpdatedMar 8, 2024 -
typst Public
Forked from typst/typstA new markup-based typesetting system that is powerful and easy to learn.
Rust Apache License 2.0 UpdatedFeb 11, 2024
{{ message }}