科研工具
chrome插件等。
NULL8333
这个作者很懒,什么都没留下…
展开
-
GitHub终于上线了Star的分类功能
正文如题,之前收藏了很多仓库,大概200多个,但是每次想在众多仓库中找到先前的某仓库,就像在大海里捞针一样,索性就懒的找了。。。现在终于迎来了创建分类List的测试版,喜大普奔!例如下面的ORB-SLAM3仓库,还有更多的开源视觉SLAM方案以后都可以放在自建的VSLAM分类里了!妈妈再也不用担心我在仓库海里找不到我想要的仓库了~...原创 2021-12-10 10:00:00 · 1513 阅读 · 0 评论 -
Chrome插件:OneNote Web Clipper 搜集和整合碎片信息的神器
昨天下载Chrome插件:Google Dictionary的时候发现了OneNote Web Clipper这个插件,是OneNote官方推出的将网页Clip到OneNote笔记本中的神器。举个例子:今天刚好需要安装Anaconda学习Python,对于一些概念不是特别理解,在网站上搜到几篇好文,原来当然都是分类在Chrome的不同收藏夹中,但是长期积攒到收藏夹中的博文很少会去再看,即...原创 2019-07-20 18:07:17 · 3383 阅读 · 6 评论