DeepSeek Math
DeepSeek-Math is DeepSeeks specialized
model (or dataset + evaluation) focusing
on mathematical reasoning, symbolic
manipulation, proof steps, and advanced
qu...
Enter
DeepSeek Prover V2
DeepSeek-Prover-V2 is DeepSeeks
specialized model for formal theorem
proving, particularly targeting proof in
Lean 4. The repository describes how
they use re...
Enter
Profile Data
profile-data is a repository that
publishes profiling traces and metrics
from DeepSeeks training and inference
infrastructure (especially during
DeepSeek-V3 /...
Enter
eza
eza is a modern, feature-rich
alternative to the classic UNIX/Linux ls
command, written in Rust and designed to
be fast, ergonomic, and visually
informative. I...
Enter
Tomris AI Turkish conversational AI
. ...
Enter
SpecialFunctions.jl
Special mathematical functions in
Julia, include Bessel, Hankel, Airy,
error, Dawson, exponential (or sine and
cosine) integrals, eta, zeta, digamma,
inverse d...
Enter
Doorman
Doorman provides a way to limit access
to your Laravel applications by using
invite codes. Invite codes can be tied
to a specific email address, can be
availab...
Enter
Mashumaro
When using data classes, you often need
to dump and load objects based on the
schema you have. Mashumaro not only lets
you save and load things in different wa...
Enter
Flight Core
FlightPHP is a lightweight, fast, and
flexible micro-framework for PHP,
designed to build RESTful web
applications and APIs. It provides a
simple routing syste...
Enter