Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–19 of 19 · Most stars

Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.

Open decision models from 0.8B to 27B: a calibrated probability for every option in one pass, and a short thought only when unsure. Engine for vLLM, llama.cpp and MLX.

  • agents
  • calibration
  • classification
  • decision-making

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

  • calculus
  • counting
  • functions
  • graph

A Rocq formalization of information theory and linear error-correcting codes

  • information-theory
  • error-correcting-codes
  • probability
  • convexity

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

Command-line utility that picks a file from a folder hierarchy with probability proportional to its size