Mac OS X Softwares to Garbage Collection

Squirrel is a high-level, imperative and object-oriented programming language designed for embedding in applications.

Nim is a modern, statically typed, compiled programming language emphasizing efficiency, expressiveness, and flexibility. It draws inspiration from languages like Python, Pascal, and C++, making it approachable for developers while offering low-level control for systems programming.

F# is an open-source, cross-platform, functional-first programming language designed for conciseness and correctness. It integrates seamlessly with the .NET ecosystem, making it ideal for data science, web development, and more.

Kotlin is a modern, statically-typed programming language developed by JetBrains. It runs on the Java Virtual Machine (JVM), Android, and the web (via JavaScript), and can compile to native code. Designed for concise, safe, and interoperable code, Kotlin aims to make programming more enjoyable and productive.

Tcl (Tool Command Language) is a dynamic, high-level scripting language ideal for rapid application development, scripting, and automation, particularly strong in graphical user interfaces.

Jython is a Python implementation designed to run on the Java Virtual Machine (JVM). It allows Python developers to leverage Java libraries and frameworks, and Java developers to integrate Python scripting into their applications, bridging the gap between the two ecosystems.

JRuby is a robust implementation of the Ruby programming language built on the Java Virtual Machine (JVM). It provides seamless interoperability between Ruby and Java, allowing developers to leverage the strengths of both ecosystems.

Clojure is a dynamic, functional dialect of the Lisp programming language on the Java virtual machine (JVM). It emphasizes immutability and persistent data structures for robust concurrent programming.

Erlang is a powerful functional programming language designed for building highly available, scalable, and fault-tolerant soft real-time systems. It excels in concurrent and distributed environments, making it ideal for applications requiring continuous uptime and handling vast amounts of concurrent requests.

Apache Groovy is a powerful, optionally typed and dynamic language for the Java platform. It seamlessly integrates with existing Java code and libraries, making it a versatile tool for scripting, application development, testing, and automation.

Haskell is a powerful, statically typed, purely functional programming language. It emphasizes immutability and mathematical purity, leading to robust and maintainable code. Ideal for applications demanding correctness and concurrency.

Scala is a powerful, general-purpose programming language designed to combine the best features of object-oriented and functional programming paradigms.

Dart is an open-source, client-optimized programming language for building fast apps on any platform. It offers a productive development experience and high performance.

Go (Golang) is an open-source, statically typed, compiled programming language designed at Google. Known for its concurrency primitives, garbage collection, and focus on simplicity, Go is well-suited for building scalable, high-performance applications, particularly in networking, cloud services, and microservices.

Objective-C was a robust, general-purpose, object-oriented programming language primarily used for Apple's macOS and iOS operating systems. It combined C's power with Smalltalk's dynamic messaging capabilities.

Haxe is a versatile open-source programming language and compiler that lets developers write code once and deploy it across numerous platforms, including web (JavaScript, Node.js), mobile (iOS, Android), desktop (Windows, macOS, Linux), servers, and even game consoles.

Lua is a powerful, fast, and lightweight scripting language designed for embedding in applications. It's known for its simplicity, portability, and efficiency, making it ideal for a wide range of uses from embedded systems to game development and configuration.

R is a powerful open-source language and environment for statistical computing, graphics, and data analysis. Widely used by statisticians and data miners for developing statistical software and data analysis.

C# is a versatile, modern, object-oriented programming language from Microsoft. It's widely used for developing Windows applications, web services, mobile apps, and games, offering a balance of power and ease of use.

Ruby is a dynamic, open-source programming language known for its elegant syntax and focus on developer productivity. It's widely used for web development, scripting, and rapid prototyping.

Mono is an open-source and cross-platform implementation of Microsoft's .NET Framework, empowering developers to build applications that run on various operating systems including Linux, Windows, and macOS.

PHP is a versatile, open-source scripting language widely used for web development. It excels at creating dynamic web content, interacting with databases, and integrating seamlessly with HTML.

Java is a widely-used, object-oriented, general-purpose programming language designed to have as few implementation dependencies as possible. Its core principle, "write once, run anywhere" (WORA), allows compiled Java code to run on any platform that supports Java without the need for recompilation.

Python is a versatile, high-level programming language renowned for its readability and simplicity. It supports multiple programming paradigms, including object-oriented, imperative, and functional programming styles. It boasts a large and active community, extensive libraries, and is widely used for web development, data science, artificial intelligence, and scripting.

Julia is a high-level, dynamic programming language designed for technical computing with performance comparable to traditional compiled languages. It excels in numerical analysis, data science, and scientific computing, offering a flexible environment for both rapid prototyping and high-performance code.

D is a general-purpose systems and application programming language that aims to combine the power and high performance of C++ with the productivity and safety of modern languages like Python or Ruby.