Sign in

Repository Index

81,337 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

1–17 of 17 · Most stars

Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.

  • rule-engine
  • java
  • dmn
  • hacktoberfest

Haplotype-aware CNV analysis from single-cell RNA-seq, ATAC-seq, and multiome

  • cancer-genomics
  • cnv-detection
  • single-cell
  • phylogeny

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