Stars: 0
Programming Languages
| List | Description | Link |
|---|---|---|
| JavaScript | JavaScript | |
| Swift | - Apple's compiled programming language that is secure, modern, programmer-friendly, and fast. | Swift |
| Python | - General-purpose programming language designed for readability. | Python |
| Rust | Rust | |
| Haskell | Haskell | |
| PureScript | PureScript | |
| Go | Go | |
| Scala | Scala | |
| Ruby | Ruby | |
| Clojure | Clojure | |
| ClojureScript | ClojureScript | |
| Elixir | Elixir | |
| Elm | Elm | |
| Erlang | Erlang | |
| Julia | Julia | |
| Lua | Lua | |
| C | C | |
| C/C++ | - General-purpose language with a bias toward system programming and embedded, resource-constrained software. | C/C++ |
| R | R | |
| D | D | |
| Common Lisp | - Powerful dynamic multiparadigm language that facilitates iterative and interactive development. | Common Lisp |
| Perl | Perl | |
| Groovy | Groovy | |
| Dart | Dart | |
| Java | - Popular secure object-oriented language designed for flexibility to "write once, run anywhere". | Java |
| Kotlin | Kotlin | |
| OCaml | OCaml | |
| ColdFusion | ColdFusion | |
| Fortran | Fortran | |
| PHP | - Server-side scripting language. | PHP |
| Pascal | Pascal | |
| Assembler | Assembler | |
| AutoHotkey | AutoHotkey | |
| AutoIt | AutoIt | |
| Crystal | Crystal | |
| Frege | - Haskell for the JVM. | Frege |
| CMake | - Build, test, and package software. | CMake |
| ActionScript 3 | - Object-oriented language targeting Adobe AIR. | ActionScript 3 |
| Eta | - Functional programming language for the JVM. | Eta |
| Idris | - General purpose pure functional programming language with dependent types influenced by Haskell and ML. | Idris |
| Ada/SPARK | - Modern programming language designed for large, long-lived apps where reliability and efficiency are essential. | Ada/SPARK |
| Q# | - Domain-specific programming language used for expressing quantum algorithms. | Q# |
| Imba | - Programming language inspired by Ruby and Python and compiles to performant JavaScript. | Imba |
| Vala | - Programming language designed to take full advantage of the GLib and GNOME ecosystems, while preserving the speed of C code. | Vala |
| Coq | - Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs. | Coq |