macOS development environment setup: Easy-to-understand instructions with automated setup scripts for developer tools like Vim, Sublime Text, Bash, iTerm, Python data analysis, Spark, Hadoop MapReduce, AWS, Heroku, JavaScript web development, Android development, common data stores, and dev-based OS X defaults.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
An attempt at a minimalistic and secure operating system.