dogear

enter for all results · esc to close

Math

Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.

  1. Bayesian Methods for Hackers github.com

    by Cameron Davidson-Pilon. Introduction to Bayesian methods and probabilistic graphical models using tensorflow-probability (and, alternatively PyMC2/3).

  2. GLM github.com

    Header-only C++ math library that matches and inter-operates with OpenGL's GLSL math. [MIT] website

  3. H2O github.com

    statistical, machine learning and math runtime with Hadoop. R and Python.

  4. NSQ (⭐25k) github.com

    Realtime distributed messaging platform designed to operate at scale, handling billions of messages per day with decentralized topology.

  5. libigl github.com

    Simple C++ geometry processing library. [MPL2]

  6. Math as code github.com
  7. mathjs github.com

    An extensive math library.

  8. Z3 github.com

    A theorem prover from Microsoft Research.

  9. Proof of concept for loading Caffe models in TensorFlow github.com

    Convert Caffe models to TensorFlow format

  10. OSSU Math github.com

    Free, prerequisite-ordered self-study curriculum modeled on the mathematics requirements of an undergraduate degree.

  11. gonum github.com

    Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more.

  12. deeplearn.js - Hardware-accelerated deep learning and linear algebra (NumPy) library for the web github.com
  13. S2 geometry github.com

    S2 geometry library in Go.

  14. git-quick-stats github.com

    Git quick statistics is a simple and efficient way to access various statistics in git repository.

  15. geiger github.com

    A program that list statistics related to usage of unsafe code in a crate and all its dependencies

  16. Practical_RL github.com
  17. Elementary Algorithms github.com
  18. bheisler/criterion.rs github.com

    Statistics-driven benchmarking library

  19. dataframe-go github.com

    Dataframes for machine-learning and statistics (similar to pandas).

  20. AlphaGeometry github.com

    Open research implementation combining learned guidance with symbolic deduction for olympiad geometry problems.

  21. dimforge/nalgebra github.com

    low-dimensional linear algebra library

  22. mathlib github.com

    Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.

  23. geometry github.com

    A minimal ZSH theme where any function can be added to the left prompt or (async) right prompt on the fly.

  24. FCaptcha github.com

    Self-hosted CAPTCHA server and Go client that detects bots, AI agents, and headless browsers through behavioral analysis and proof of work.

  25. Math.NET Numerics github.com

    Methods and algorithms for numerical computations in science, engineering and every day use. F# specific bindings available.

  26. statsviz github.com

    Live visualization of your Go application runtime statistics.

  27. Mathematics Roadmap github.com
  28. simple-statistics github.com
  29. Algorithm github.com

    Algorithm is a collection of data structures that are empowered by a probability toolset.

  30. stats github.com

    Statistics package with common functions missing from the Golang standard library.

  31. next page of items loading…