Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
A Practical and Efficient NCBI Taxonomy Toolkit, also supports creating NCBI-style taxdump files for custom taxonomies like GTDB/ICTV
- bioinformatics
- taxonomy
- cross-platform
- lineage
Practical volume computation and sampling in high dimensions
- geometry
- statistics
- polyhedral-computations
- random-walk
Workbench for practical machine learning in Ruby.
- machine-learning
- machine-learning-algorithms
- neural-network
- neural-networks