没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它atom-fstar:在Atom编辑器中为F *突出显示语法

atom-fstar:在Atom编辑器中为F *突出显示语法

共7个文件

cson：2个

md：1个

gitignore：1个

Shell

需积分: 5 0 下载量 36 浏览量 2021-04-28 18:19:51 上传评论收藏 8KB ZIP 举报

温馨提示

atom-fstar：Atom编辑器中F *的语法突出显示安装下载并为您的平台安装运行apm install ，然后运行此存储库根目录中的apm link 。任何扩展名为.fst .fsti .fs7文件都将触发Language-fstar模式的加载。目前，您仅能获得非常简单的语法突出显示。建立一个F *项目安装软件包

atom-fstar:在Atom编辑器中为F *突出显示语法

language-singularity：对Atom的语法突出显示支持

language-argdown：Atom编辑器的Argdown语法突出显示

command-syntax:Atom的命令块语法突出显示工具（atom.io）

language-superscript:Atom的SuperScript语法突出显示

atom-browserslist：:hedgehog:在Atom中的.browserslistrc文件中添加语法突出显示

mitls-fstar:在 F* 中验证 TLS 1.3 的实现

FStar：有效程序的验证系统

LiterateFStar:将F *模块（注释和顶级defs）导出为LaTeX（或其他方式）0

hoare_wlp_fstar

http://user.qzone.qq.com/417990735/infocenter

atom-language-marko:Marko模板语言在Atom中的语法突出显示

Atom-language-nunjucks,atom中nunjuck模板的语法突出显示。.zip

Atom-language-systemd,atom的systemd语法突出显示。贡献语言.zip

Atom-language-dotfiles,为Atom中的点文件提供语法突出显示。.zip

language-vcl:Atom的VCL语法突出显示

Debug Tool for zOS V11 User's Guide

matlab开发-非线性动态系统的优化算法

学习型组织的构建.pdf

Theoretical Foundationsand Numerical Methodsfor Sparse Recovery

Atom-language-luajit,atom的luajit语法突出显示和自动完成.zip

Atom-atom-rivescript,在atom文本编辑器中突出显示rivescript的语法。.zip

language-stata：Atom中Stata的语法突出显示

Atom-atom-language-perl6,Atom/GithubPerl6语法突出显示支持.zip

Atom-language-rainmeter,Atom中雨量计文件的语法突出显示。.zip

Atom-chestnut,16的最小语法突出显示.zip

language-rainmeter：Atom中Rainmeter文件的语法突出显示

Atom-atom-minetweaker,用于atom的minetweaker语法突出显示和自动完成.zip

atom-minetweaker：Atom的MineTweaker语法突出显示和自动完成

Qt 5实现串口调试助手 （源工程文件、0积分下载）

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

最新资源

Qt 5实现串口调试助手（源工程文件、0积分下载）