搜索
k-framework可执行的语义框架
认领
关注
0
粉丝
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。 \||
知识
简介
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。 \||||||||||||||||||/ --- Welcome to Maude --- ...
更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
程序开发、 其他开发相关
授权协议
Apache
操作系统
Linux
收录时间
2023-10-01
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
（满分 10 分）
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
k-framework可执行的语义框架
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具
Mice语义化的前端框架
Mice是一个语义化的前端框架。安装使用：添加这行代码到你应用的 Gemfile：gem 'mice
Mice语义化的前端框架
Mice是一个语义化的前端框架。安装使用：添加这行代码到你应用的Gemfile：gem 'mice'或gem 'mice', :git => 'git@github.com:miclle/mic
Pico.css用于语义 HTML 的 CSS 框架
pico.css是一个用于 语义HTML的最小CSS框架Class-light和语义Pico尽可能使用简单的原生HTML标签，Pico中只使用了6个.classes。只需一个CSS文件即可实现出色样式
Pico.css用于语义 HTML 的 CSS 框架
pico.css 是一个用于 语义 HTML 的最小 CSS 框架Class-light 和语义Pi
SLING自然语言框架语义解析器
SLING是Google开源的一个自然语言框架语义解析器，用于自然语言理解任务中将自然语言文本直接解析成语义表示——语义框架图。SLING能有效避免级联效应，减少了不必要的计算开销。SLING使用一种
SLING自然语言框架语义解析器
SLING 是 Google 开源的一个自然语言框架语义解析器，用于自然语言理解任务中将自然语言文本
Apache Jena构建语义 Web 程序的 Java 框架
ApacheJena是一个Java工具箱，用于开发基于RDF与OWL语义(semantic)的Web应用程序。它提供了一个RDFAPI；ARP，一个RDF解析器；SPARQL，W3CRDF查询语言；一
Apache Jena构建语义 Web 程序的 Java 框架
Apache Jena 是一个 Java 工具箱，用于开发基于 RDF 与 OWL 语义(seman
ERNIE基于持续学习的语义理解预训练框架
ERNIE是百度开创性提出的基于知识增强的持续学习语义理解框架，该框架将大数据预训练与多源丰富知识相结合，通过持续学习技术，不断吸收海量文本数据中词汇、结构、语义等方面的知识，实现模型效果不断进化。E
认领
认领