Sign in

Repository Index

89,073 visible repositories in the index

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

337–360 of 448 · Most stars

A collection of tasks to probe the effectiveness of protein sequence representations in modeling aspects of protein design

  • protein
  • protein-sequences
  • protein-design
  • representation-learning

:spider_web: Compute interesting points, areas, and volumes in simplex meshes of any dimension.

hsolve:电磁仿真大规模非正定厄密特征值求解。Certified shift-invert eigensolver for large sparse Hermitian (indefinite, generalized) eigenproblems from EM simulation: MUMPS LDLᵀ + block Krylov-Schur + Sylvester-inertia completeness certificate.

  • computational-electromagnetics
  • cpp17
  • eigensolver
  • eigenvalues

The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs