I was trying to remember the Apple font I used to download for use with IDEs in Linux back in the day because it was by far the best for programming I'd ever se

I was trying to remember the Apple font I used to download for use with IDEs in Linux back in the day because it was by far the best for programming I'd ever seen. Monaco must have been the one.