搜索
下载APP
agda-modeagda-mode on Atom
认领
关注
0
粉丝
agda-mode on AtomFor people who don't wanna use Emacs for whatever reasons.⚠️ Project status ⏸️Sorry, people on Atom.Please consider using the new agd
知识
简介
agda-mode on AtomFor people who don't wanna use Emacs for whatever reasons.⚠️ Project status ⏸️Sorry, people on Atom.Please consider using the new agd...
更多
其它信息
授权协议
MIT License
开发语言
JavaScript
操作系统
跨平台
软件类型
开源软件
所属分类
插件和扩展、 Atom 插件
开源组织
无
地区
不详
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
09-28
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
file-headerFileHeader for Atom
FileHeader for AtomFileHeader allows you to custom
remote-atomrmate for atom
remote-atomRemoteAtomisapackageforAtomwhichimplementstheTextmate's'rmate'featureforAtom.Ittransfersf
remote-atomrmate for atom
remote-atomRemote Atom is a package for Atom which
file-headerFileHeader for Atom
FileHeaderforAtomFileHeaderallowsyoutocustomize,add,updateandcooperateyourauthoringinformationinhead
Hydrogen Atom
Hydrogen 是一个开发包,允许你直接在 Atom 上使用任何已安装的 Jupyter 内核来运
Hydrogen Atom
Hydrogen是一个开发包,允许你直接在Atom上使用任何已安装的Jupyter内核来运行内连代码。它的设计灵感来自于反馈瞬时值和LightTable设计,使得运行内连代码更加的自然了。同时它将Li
language-crystalCrystal package for Atom
Crystal language support in AtomAdds syntax highli
language-terraformTerraform.io support for Atom
Terraform.iolanguagesupportforAtomAddssyntaxhighlightingforTerraform.ioconfigurationfilestoAtom.Inst
atom-language-rR syntax for Atom
R LanguageA language package for R.It provides gra
atom-ide-definitionsDefinitions for Atom IDE
atom-ide-definitionspackageProvidesdefinitionsfunctionalityfortheAtomIDEFeaturesGotodefinition(using