PeaCoqCoq 前端认领

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 前端

Daza-frontend 是一个daza.io前端，使用Vue.js+Vuex开发。构建# install dependenciesnpm install# serve with hot reloa

HospitalRun FrontendEmber 前端

hospitalrun-frontend是HospitalRun的Ember前端。提示：在运行这个前端的开发环境前，你需要先安装好Git,Node.js,EmberCLI,Bower和CouchDB截

Z压缩工具前端

Z是一个简单、安全和常用的压缩工具前端，支持compress/uncompress,gzip,bzip2,tar,andzip/unzip工具来压缩和解压缩文件和文件夹。

SvelteJS 前端框架

Svelte 是一个前端 UI 框架。特性：解决网站的臃肿危机。Svelte 将你的模板变成快速、轻

AngularWeb 前端框架

Angular 是一款十分流行且好用的 Web 前端框架，目前由 Google 维护。这个条目收录的

B-JUI前端框架

B-JUI（BestjQueryUI）前端框架。轻松开发，专注您的业务，从B-JUI开始！介绍：B-JUI客户端框架(BestjQueryUI)，是基于Bootstrap样式及jQuery库实现的Aj

API-frontHTTP API 前端

APIfront是HTTPAPI前端，可进行请求代理转发、协议抓包分析、流量复制。用于解决如下问题：HTTPAPI大行其道,开发调试（特别是联调）花费的时间、人力成本很高。后端的API调用是一个黑盒，

Abstract.js前端框架

Abstract.js 是来自腾讯兴趣部落的前端框架。抽象理论模型Abstract.js基于严格的抽

KoalaUIUI前端解决方案

KoalaUI是一套针对企业信息化管理软件的UI前端解决方案。提供一些常用组件的样式和脚本，目的在于提高前端开发人员的工作效率和更好的用户扩展体验.提供了常用UI组件，包括手风琴、自动完成框、图片轮播