Skip to content

@MendozaLab Mendoza Lab

Change the repository type filter

All

    Repositories list

    9 repositories

    • science-repo-review

      Public
      0•0•0•0•Updated Jul 6, 2026Jul 6, 2026

    • ecg-trust-boundaries

      Public
      0•0•0•0•Updated Jul 6, 2026Jul 6, 2026

    • .github

      Public
      0•0•0•0•Updated Jul 6, 2026Jul 6, 2026

    • formal-conjectures

      Public
      A collection of formalized statements of conjectures in Lean.
      Lean
      •
      Apache License 2.0
      •407•0•0•0•Updated Jun 28, 2026Jun 28, 2026

    • erdos-experiments

      Public
      Computational experiments for Erdős-style combinatorial conjectures
      pythoncomputational-mathematicscombinatorics
      pythoncomputational-mathematicscombinatoricserdosopen-problems
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • OpenGauss

      Public
      Python
      •
      MIT License
      •116•0•0•0•Updated May 24, 2026May 24, 2026

    • mathlib-prs

      Public
      Lean
      •
      Other
      •0•0•0•0•Updated May 24, 2026May 24, 2026

    • preprints

      Public
      0•0•0•0•Updated Apr 19, 2026Apr 19, 2026

    • math-morphism-atlas

      Public
      4,957 open math problems classified by structural morphism — Erdős-like classifier, 12-dim vectors, Lean 4 proofs
      Lean
      •0•0•0•0•Updated Mar 4, 2026Mar 4, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.