Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation