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

LOG0

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 上使用任何已安装的 Jupyter 内核来运

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