The Mathematical Hacker

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
#adjoint-operator #Lean #norm #theorem-proving #category-theory

Our great sponsors
  • InfluxDB - Access the most powerful time series database as a service
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • adjoint

    Thoughts on adjoint, norm and such.

  • CBofN

    Source code from the book "The Computational Beauty of Nature"

    Read The Computational Beauty of Nature and compile the associated examples:

    https://github.com/gwf/CBofN

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  • mathlib

    Lean mathematical components library

  • lean-liquid

    💧 Liquid Tensor Experiment

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts