这是一个在 android 手机上运行的小提琴应用，内置三首经典歌曲，你也可以选择自己喜爱的歌曲。

Funf 是一个可扩展的传感和数据处理框架，主要用户移动设备，由麻省理工学院的媒体实验室开发。其核心概念是开源、可重用的功能集、支持收集上传和配置各种不同数据类型。 主要特点： 远程配置。 许多...

Google I/O 是 Google 每年都会举办的历时两天的开发者大会，该大会谈及各种技术问题。 该软件主要的功能有： Look at the schedule Look through d...

Nim是一个新型的静态类型、命令式编程语言，支持过程式、函数式、面向对象和泛型编程风格而保持简单和高效。Nim从Lisp继承来的一个特殊特性--抽象语法树(AST)作为语言规范的一部分，可以用作创建领域特定语言的强大宏系统。

V是一个集合Go的简单和Rust的安全特性的编程语言，于2019年06月23日发布。

Crystal是一种具有以下目标的编程语言： 具有类似于Ruby的语法（但与它兼容不是目标） 静态类型检查，但无需指定变量或方法参数的类型。 能够通过在Crystal中编写绑定来调用C代码。 有编译时评估和生成代码，避免样板代码。 编译为高效的本机代码。

Elixir 是一个基于 Erlang 虚拟机的函数式、面向并行的通用编程语言。Elixir 以 Erlang 为基础，支持分布式、高容错、实时应用程序的开发，同时亦对其进行扩展使之借助宏实现元编程，并通过协议支持多态。[1]

Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统的 清晰性、 可靠性、 有效性、可维护性。

Haskell是一种标准化的、通用纯函数式编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家Haskell Brooks Curry，他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。在Haskell中，函数是一等公民。作为函数式编程语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算（Lambda-Calculus)为基础发展而来。具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」（Lambda）作为自己标志的原因。Haskell语言的最主要的执行环境是GHC。

Red语言并不是一个很流行的语言，它自REBOL语言发展而来，但包括Red和它的母语REBOL，甚至都没有排进编程语言排行榜的前50位（根据最新一期TIOBE排行榜）。 但是，Red语言是一门小巧玲珑，而又功能不弱的轻量级编程语言。所谓的轻量级，是指整个语言的编写相对更贴近一般人类的思路，贴近高级语言因而书写便捷，编程和运行环境非常简单，实际上只有一个可执行文件。而功能不弱，体现在下面几个地方：跨平台、即支持解释运行又支持编译运行、内置的语言级别上支持图形界面（GUI）开发、方便的网络编程能力（例如发邮件、抓取网页等往往一条语句就可以实现）。

Kotlin（科特林）是一由JetBrains开发可用于现代多平台应用的静态编程语言。Kotlin可以编译成Java字节码和JavaScript与Java代码相互运作，并可以重复使用如Java集合框架等的现有Java引用的函数。Kotlin已正式成为Android官方支持开发语言。2021年7月10日，编程语言Kotlin启用新Logo，采用渐变色。[1]

typescript是一种由微软开发的自由和开源的编程语言。typescript起源于开发应用程序规模的JavaScript应用程序的需求。它是JavaScript的一个超集，而且本质上向这个语言添加了可选的静态类型和基于类的面向对象编程。typescript的作者是安德斯·海尔斯伯格，C#的首席架构师。2012年10月，微软发布了首个公开版本的typescript。

Facebook发布的一种名为 Hack的编程语言，集合了两种主流网页编程语言 PHP 和 Java 的优势，而这个语言从语法等特性上与 PHP 十分相似。绝大部分Facebook的页面都由这个Hack 语言编写[1]

Vala是一种新的编程语言，其目标是为GNOME开发者提供现代化的编程语言功能，同时没有额外的运行时要求，并且相对于C语言编写的应用程序和库，无需使用不同的ABI。Vala是基于GNOME的GObject系统，提供了那种你期望的类功能。与Scala一样，在语言级别上，它具有与Java Beans的get*()和set*()等同的属性，但是，对于属性更改通知和监听器（listener），它也能够提供了语言级别上的支持。它不具备很强的XML处理能力，只是一个迷你型的解析器，不过看起来它的确具有很好的Unicode功能（字符串为UTF-8，string.getch()可返回16位的unichar字符。）

Rust是Mozilla开发的注重安全、性能和并发性的系统级编程语言。创建这个新语言的目的是为了解决一个很顽疾的问题：软件的演进速度大大低于硬件的演进，软件在语言级别上无法真正利用多核计算带来的性能提升。Rust是针对多核体系提出的语言，并且吸收一些其他动态语言的重要特性，比如不需要管理内存，比如不会出现Null指针等等。

SWIFT是一款编程语言，是苹果于2014年WWDC苹果开发者大会发布的新开发语言，而且它还是第一套具有与脚本语言同样的表现力和趣味性的系统编程语言，支持iOS、OS X、watchOS等系统。[1]Swift是一款易学易用的编程语言，而且它还是第一套具有与脚本语言同样的表现力和趣味性的系统编程语言。Swift的设计以安全为出发点，以避免各种常见的编程错误类别。[1]

LISP即列表处理语言（全名：List Processor），由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。LISP的祖先是1950年代Carnegie-Mellon大学的Newell、Shaw、Simon开发的IPL语言。

Objective-C是一种主要由Stepstone公司的布莱德·考克斯(Brad Cox)和 汤姆·洛夫（Tom Love）发明的通用、高级、面向对象的编程语言，与Swift是OSX和iOS操作系统、及与其相关的API、Cocoa和Cocoa Touch的主要编程语言。Objective-C是C语言的超集，并且在提供了动态类型和延迟到运行时的绑定的同时，为对象图形管理和对象字面提供了语言层面上的支持。Objective-C扩展了标准的ANSIC编程语言，将Smalltalk式的消息传递机制加入到ANSIC中。Objective-C当前主要支持的编译器有GCC和Clang（采用LLVM作为后端）。

Scala 是一门类 Java 的编程语言，它结合了面向对象编程和函数式编程。Scala 的设计目的是要和两种主流面向对象编程语言 Java 和 C#实现无缝互操作，这两种主流语言都非纯面向对象。Scala运行在Java虚拟机上，并兼容现有的Java程序。Scala 源代码被编译成Java字节码，所以它可以运行于JVM之上，并可以调用现有的Java类库。

Groovy是一种基于JVM（Java虚拟机）的敏捷开发语言，是用于Java虚拟机的一种敏捷的动态语言。它是一种成熟的面向对象编程语言，既可以用于面向对象编程，又可以用作纯粹的脚本语言。其是JVM的一个替代语言，使用方式基本与使用Java代码的方式相同，该语言特别适合与Spring的动态语言支持一起使用。