Works
GNU MPFR
—monthly views
0copies owned
—player watchlists
Works
GNU MPFR
C library for arbitrary-precision floating-point arithmetic
uncommon · Q1881759
Related cards · GNU package
See all 115
Works
GNU Compiler Collection
—monthly views
0copies owned
—player watchlists
Works
GIMP
—monthly views
0copies owned
—player watchlists
Works
GNU Guix
—monthly views
0copies owned
—player watchlists
Works
GNU GRUB
—monthly views
0copies owned
—player watchlists
Works
GNU IceCat
—monthly views
0copies owned
—player watchlists
Works
GNU Core Utilities
—monthly views
0copies owned
—player watchlists
Related cards · Open Science Award for Open Source Research Software
See all 10
Concepts
OCaml
—monthly views
0copies owned
—player watchlists
Works
Rocq
—monthly views
0copies owned
—player watchlists
Works
Scikit-learn
—monthly views
0copies owned
—player watchlists
Works
Pharo
—monthly views
0copies owned
—player watchlists
Works
PARI/GP
—monthly views
0copies owned
—player watchlists
Concepts
FAUST (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · mathematical software
See all 149
Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists