Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/running-grass/idris2-playground

idris 项目孵化场
https://github.com/running-grass/idris2-playground

idris idris2

Last synced: about 1 month ago
JSON representation

idris 项目孵化场

Awesome Lists containing this project

README

        

# idris2-playground

试验场,用来测试和孵化各种类库。

目前正在测试一个爬虫程序。 其附带几个类库
- 爬虫程序 主程序
- 爬虫框架
- css 选择器
- 工具函数库