Scilean Alternatives

Scientific computing in Lean 4
Categories  > Science  > Lean
Suggest Alternative
Alternatives To lecopivo/SciLean
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
maroba/findiff 361 2 16 over 2 years ago 33 August 11, 2022 5 mit Python
Python package for numerical derivatives and partial differential equations in any number of dimensions.
iheartla/iheartla 192 0 0 over 2 years ago 0 68 mit Python
compilable markdown for linear algebra
lecopivo/SciLean 179 0 0 over 2 years ago 0 13 apache-2.0 Lean
Scientific computing in Lean 4
chfenger/goNum 101 0 0 over 6 years ago 0 0 gpl-3.0 Go
开源Go语言数值算法库(An open numerical library purely based on Go programming language)
gagolews/deepr 80 0 0 over 2 years ago 0 2 other
Deep R Programming (Open-Access Textbook)
ocramz/sparse-linear-algebra 80 8 0 almost 6 years ago 28 April 05, 2018 43 gpl-3.0 Haskell
Numerical computation in native Haskell
SciNim/numericalnim 77 0 0 almost 3 years ago 0 June 29, 2019 4 mit Nim
A collection of numerical methods written in Nim
numericalalgorithmsgroup/pybobyqa 64 1 2 about 3 years ago 8 April 14, 2021 10 gpl-3.0 Python
Python-based Derivative-Free Optimization with Bound Constraints
numericalalgorithmsgroup/NAGPythonExamples 52 0 0 over 2 years ago 0 7 bsd-3-clause Jupyter Notebook
Examples and demos showing how to call functions from the NAG Library for Python
SciCompMod/memilio 47 0 0 over 2 years ago 0 232 apache-2.0 C++
Modular spatio-temporal models for epidemic and pandemic simulations
Alternatives To lecopivo/SciLean
Select To Compare


Alternative Project Comparisons
Popular Scientific Computing Projects
Popular Numerical Methods Projects
Popular Science Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.