ReddRadar
Topic: vibe-coding
3,535 skills in this topic.
-
floating-point-analysis
Rigorous floating-point error analysis
a5c-ai/babysitter 514
-
graph-algorithm-library
Comprehensive graph algorithms implementation
a5c-ai/babysitter 514
-
interpolation-approximation
Function interpolation and approximation methods
a5c-ai/babysitter 514
-
isabelle-hol-interface
Interface with Isabelle/HOL for classical mathematics formalization
a5c-ai/babysitter 514
-
latex-math-formatter
High-quality LaTeX mathematical typesetting
a5c-ai/babysitter 514
-
lean-proof-assistant
Interface with Lean 4 proof assistant for formal theorem verification
a5c-ai/babysitter 514
-
math-notation-validator
Validate and standardize mathematical notation
a5c-ai/babysitter 514
-
mathematica-wolfram-interface
Interface with Mathematica/Wolfram Language for advanced symbolic computation
a5c-ai/babysitter 514
-
mathscinet-interface
Interface with MathSciNet for mathematical reviews
a5c-ai/babysitter 514
-
maxima-cas-interface
Open-source computer algebra system for symbolic computation
a5c-ai/babysitter 514
-
mcmc-diagnostics
MCMC convergence diagnostics and analysis
a5c-ai/babysitter 514
-
mixed-integer-optimization
Mixed-integer linear and nonlinear programming
a5c-ai/babysitter 514
-
monte-carlo-simulation
Monte Carlo methods for uncertainty quantification
a5c-ai/babysitter 514
-
multiple-testing-correction
Multiple comparison correction methods
a5c-ai/babysitter 514
-
nonlinear-optimization-solver
Solve general nonlinear optimization problems
a5c-ai/babysitter 514
-
numerical-linear-algebra-toolkit
High-performance numerical linear algebra operations
a5c-ai/babysitter 514
-
ode-solver-library
Numerical methods for ordinary differential equations
a5c-ai/babysitter 514
-
pde-solver-library
Numerical methods for partial differential equations
a5c-ai/babysitter 514
-
polynomial-chaos-expansion
Polynomial chaos for uncertainty propagation
a5c-ai/babysitter 514
-
power-sample-size-calculator
Statistical power analysis and sample size determination
a5c-ai/babysitter 514
-
proof-structure-analyzer
Analyze and restructure mathematical proofs for clarity and completeness
a5c-ai/babysitter 514
-
pymc-probabilistic-programming
PyMC for flexible Bayesian modeling
a5c-ai/babysitter 514
-
robust-statistics-toolkit
Robust statistical methods resistant to outliers
a5c-ai/babysitter 514
-
sage-math-interface
SageMath for comprehensive mathematical computation
a5c-ai/babysitter 514