搜索

PeaCoqCoq 前端

0获赞0粉丝0关注
PeaCoq 是 Coq 的前端，作为一个基于 Web 的文本编辑器，无论是新手还是高级用户，都能轻松使用 PeaCoq。客户端/服务器的架构意味着
作品知识
简介
PeaCoq 是 Coq 的前端，作为一个基于 Web 的文本编辑器，无论是新手还是高级用户，都能轻松使用 PeaCoq。客户端/服务器的架构意味着 PeaCoq 用户只需要一个 Web 浏览器就可以和在服务器上托管的 Coq 进行会话。不过不好的是，这也意味着 PeaCoq 不可以运行在你最喜欢的... 更多
其它信息
地区
不详
开发语言
JavaScript
开源组织
无
所属分类
应用工具、 文档/文本编辑
授权协议
MIT
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Daza-frontenddaza.io 前端
Daza-frontend 是一个 daza.io 前端，使用 Vue.js + Vuex 开发。构
Daza-frontenddaza.io 前端
0
Daza-frontenddaza.io 前端
Daza-frontend 是一个daza.io前端，使用Vue.js+Vuex开发。构建# install dependenciesnpm install# serve with hot reloa
Daza-frontenddaza.io 前端
0
HospitalRun FrontendEmber 前端
hospitalrun-frontend是HospitalRun的Ember前端。提示：在运行这个前端的开发环境前，你需要先安装好Git,Node.js,EmberCLI,Bower和CouchDB截
HospitalRun FrontendEmber 前端
0
Z压缩工具前端
Z是一个简单、安全和常用的压缩工具前端，支持compress/uncompress,gzip,bzip2,tar,andzip/unzip工具来压缩和解压缩文件和文件夹。
Z压缩工具前端
0
SvelteJS 前端框架
Svelte 是一个前端 UI 框架。特性：解决网站的臃肿危机。Svelte 将你的模板变成快速、轻
SvelteJS 前端框架
0
AngularWeb 前端框架
Angular 是一款十分流行且好用的 Web 前端框架，目前由 Google 维护。这个条目收录的
AngularWeb 前端框架
0
B-JUI前端框架
B-JUI（BestjQueryUI）前端框架。轻松开发，专注您的业务，从B-JUI开始！介绍：B-JUI客户端框架(BestjQueryUI)，是基于Bootstrap样式及jQuery库实现的Aj
B-JUI前端框架
0
API-frontHTTP API 前端
APIfront是HTTPAPI前端，可进行请求代理转发、协议抓包分析、流量复制。用于解决如下问题：HTTPAPI大行其道,开发调试（特别是联调）花费的时间、人力成本很高。后端的API调用是一个黑盒，
API-frontHTTP API 前端
0
Abstract.js前端框架
Abstract.js 是来自腾讯兴趣部落的前端框架。抽象理论模型Abstract.js基于严格的抽
Abstract.js前端框架
0
KoalaUIUI前端解决方案
KoalaUI是一套针对企业信息化管理软件的UI前端解决方案。提供一些常用组件的样式和脚本，目的在于提高前端开发人员的工作效率和更好的用户扩展体验.提供了常用UI组件，包括手风琴、自动完成框、图片轮播
KoalaUIUI前端解决方案
0