Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–7 of 7 · Most stars

A research toolkit for particle swarm optimization in Python

  • particle-swarm-optimization
  • optimization-tools
  • pso
  • global-optimization

Generation of protein sequences and evolutionary alignments via discrete diffusion models

  • discrete-diffusion
  • generative-model
  • multiple-sequence-alignment
  • protein-sequences

🎯 A comprehensive gradient-free optimization framework written in Python

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