Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Papers | 461 | 2 years ago | ||||||||
Collection of papers | ||||||||||
Calc Comp | 27 | 5 months ago | Coq | |||||||
Coq proofs for the paper "Calculating Correct Compilers" | ||||||||||
Introtobiophysics | 23 | 6 months ago | apache-2.0 | Jupyter Notebook | ||||||
Introduction to Biophysics, requires one semester of calculus-based Physics. | ||||||||||
Research Ambients | 15 | 3 years ago | 7 | cc-by-sa-4.0 | ||||||
Ambient Calculus research | ||||||||||
Application Of Fractional Calculus In Multispectral Image Fusion | 10 | 6 months ago | MATLAB | |||||||
Application of fractional-order differentiation in multispectral image fusion |