awesome idris:

埃尔巴(Elba):Idris的软件包管理员

Idris2构建工具是一款高效、容易使用的工具，能够帮助您快速构建应用程序。同时，Idris_Shell也是一款开发者必备的包管理工具，支持安装、更新、卸载等多种功能。在这里，您可以下载Idris2构

idris-ct-learn:用于学习的回购https:github.comstateboxidris-ct

Inigo Inigo是Idris2的软件包管理器,可以帮助使用和共享Idris代码。 注意:该项目处于alpha测试状态。 可以预见,在可预见的将来,这一点将发生重大变化。 随时进行测试和实验,并提

awesome-django:最佳Django资源,成熟软件包的Awesome Django

字体真棒图标 返回Font Awesome图标的实际列表(纯JS数组) 安装 $ npm install --save font-awesome-icons 用法 const faIcons = re

:person_tipping_hand: 您是否需要? Alfred的Font Awesome工作流程 您可以逐步搜索“,并将其粘贴到大多数应用程序的最前面。 :memo: 用于编码HTML / C

awesome-telegram-bots:使用Telegram Bot SDK构建的Awesome Telegram Bot!

令人敬畏的Bughunting Oneliners 寻觅一个班轮的清单 内容发现/侦查: 1。 使用dns.bufferover.run curl -s https://dns.bufferover.

awesome-go-perf:Awesome Go性能库和工具的精选列表