TYPE-C CTS 协会认证规范中文版

USB type-c母座 MINI MICRO A型B型D型USB 封装库Altium AD元件库 PCB封装库（AD库）PcbLib后缀文件，共计 44个封装文件,均是AD标准封装文件，大部分已验证，可以直接应用到你的项目设计中。

TYPE-C协会标准解析

最全的Type-C封装库。含有全功能引脚的24Pin Tpe-C封装、立式SMT、特殊立式USB Type-C封装，经过验证可直接使用。

CX21986_Hi_Res_USB_Type-C_Compliant_Crystal-less_Audio_CODEC

在使用三星手机或者开发周边产品的时候常常会被三星type—C接口的潮湿问题困扰，这里对他的潮湿触发机制进行了测试和解释。

这个工具可以直接将图片中的公式抠出来，粘贴到mathtype中，然后再粘贴到word中，就可以直接用了。粘贴出来的公式的准确度非常高。 用法，直接运行压缩包里的exe文件，注册后，拖入图片，点copy，在mathtype中粘贴即可。

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursions-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to type. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

用java实现的，密钥长度为128的AES算法，并且支持任意格式的文件！

Unity3D特效 光圈特效 Effect 6 Type 资源包，内涵6种光效果粒子。