Alternatives and similar repositories for Int2Int

Users that are interested in Int2Int are comparing it to the libraries listed below

• mhnaderi / Scientific-ML-Notes
  Scientific ML Notes: Summaries of fundamental concepts across Linear Algebra, Scientific Computing, Machine Learning, and Reduced Order …
  ☆7Updated this week
• Imperial-MATH50003 / MATH50003NumericalAnalysis
  Notes and course material for MATH50003 Numerical Analysis (2024–25)
  ☆24Updated last week
• pythoncymetric / cymetric
  A python library for studying Calabi-Yau metrics
  ☆26Updated 9 months ago
• Fermichen99 / TNMC
  ☆12Updated last month
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆220Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆392Updated last month
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆214Updated last week
• cbouilla / spasm
  a Sparse Direct Solver modulo p
  ☆26Updated 6 months ago
• leanprover / SHerLOC
  A StableHLO analyzer in Lean
  ☆16Updated 7 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆234Updated this week
• barakeel / oeis-synthesis
  ☆23Updated last month
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆50Updated last week
• diffprog / code
  Code for the book "The Elements of Differentiable Programming".
  ☆84Updated 2 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆188Updated 2 weeks ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆159Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆159Updated 2 weeks ago
• dynamiqs / dynamiqs
  High-performance quantum systems simulation with JAX (GPU-accelerated & differentiable solvers).
  ☆221Updated this week
• ConstrainedSampler / PolytopeSamplerMatlab
  A matlab implementation for sampling log-concave distributions with polytope constraints
  ☆16Updated 7 months ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆14Updated last month
• yidiq7 / MLGeometry
  Machine learning Calabi-Yau metrics
  ☆22Updated last month
• intel / LibXPUInfo
  LibXPUInfo coalesces multiple APIs to provide multi-vendor, cross-platform device information in support of optimized device-selection by…
  ☆9Updated 3 weeks ago
• google-deepmind / kfac-jax
  Second Order Optimization and Curvature Estimation with K-FAC in JAX.
  ☆272Updated this week
• project-numina / kimina-lean-server
  Kimina Lean server
  ☆54Updated this week
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆154Updated this week
• broune / mathic
  C++ library of symbolic algebra data structures for use in Groebner basis computation.
  ☆24Updated 4 years ago
• openai / lean-gym
  ☆185Updated 2 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆328Updated this week
• optsuite / optlib
  ☆52Updated this week
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆28Updated 4 months ago