GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ actuary
Top 2 actuary open source projects
lifelib
Python package of actuarial models, tools, examples and learning materials.
✭ 94
Jupyter Notebook
python
quantitative-finance
actuarial
risk-management
actuary
Actuary
Formalization of the basic actuarial mathematics using Coq
✭ 17
Coq
Makefile
coq
ssreflect
actuary
mathcomp
1-2
of
2
actuary projects