搜索
π-Base拓扑数据库 Haskell 重写
认领
关注
0
粉丝
π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。语法:使用 ~ 进行否定, {和: [...]} 或者 {or: [...]}嵌套。你
知识
简介
π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。语法:使用 ~ 进行否定, {和: [...]} 或者 {or: [...]}嵌套。你可以通过以下这些字符开启不同的搜索模式:: - 名字间隔? - 不确定! - 否定示例All Non-Metric Continua {and: [c...
更多
其它信息
地区
不详
开源组织
无
所属分类
程序开发、 数学计算
授权协议
未知
操作系统
Linux
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
Base
Note:ThispackageisonlyusedbyBackpackv3.StartingwithBackpackv4,everythingthispackagedoesisincludedinB
Base
0
Base
Base
0
Glasgow Haskell Compiler
GlasgowHaskellCompiler是一个可靠、全功能、优化的Haskell函数编程语言的编译工具。可以将Haskell程序编译成本机可执行代码或者是C语言代码。
Glasgow Haskell Compiler
0
Haskell GHCHaskell 编译器
GHC(GlasgowHaskellcompiler)是Haskell最顶级最好的编程套件,包括一个优化的编译器,生成各种平台的优秀代码,同时还有个交互式系统,让用户使用起来更简单方便,能使用Hask
Haskell GHCHaskell 编译器
0
grenadeDeep Learning in Haskell
GrenadeFirstshaltthoutakeouttheHolyPin,thenshaltthoucounttothree,nomore,noless.Threeshallbethenumber
grenadeDeep Learning in Haskell
0
grenadeDeep Learning in Haskell
GrenadeFirst shalt thou take out the Holy Pin, the
grenadeDeep Learning in Haskell
0
RewriteURL重写库
Rewrite是一个开源、基于过滤器的Java库,用于实现URL重写。可实现漂亮的URL地址。优雅的解决RESTfulURL问题。主要特性包括:页面加载动作、管理参数解析、无缝的CDI集成、Sprin
RewriteURL重写库
0
CoffeeScript2CoffeeScript 编译器重写
CoffeeScript2对CoffeeScript编译器进行了重写,主要侧重于提升可靠性和多功能。
CoffeeScript2CoffeeScript 编译器重写
0
Glasgow Haskell Compiler
Glasgow Haskell Compiler 是一个可靠、全功能、优化的 Haskell 函数编
Glasgow Haskell Compiler
0
scottyweb 框架(Haskell)
scotty 是使用 Haskell 编写的 web 框架,灵感来自 Ruby 的Sinatra,使
scottyweb 框架(Haskell)
0