Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.
- rule-engine
- java
- dmn
- hacktoberfest
Repository Index
71,372 visible repositories in the index
1–5 of 5 · Most stars
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- tla
- specifications
- model-checking
- verification
C++ library and cmdline tools for parsing and manipulating VCF files with python and zig bindings
- variant-calling
- genomics
- vcf-manipulation
- genotyping
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Haplotype-aware CNV analysis from single-cell RNA-seq, ATAC-seq, and multiome
- cancer-genomics
- cnv-detection
- single-cell
- phylogeny