点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 更好的OCaml-源码
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
pfff:pfff主要是OCaml API,用于编写静态分析,动态分析,代码可视化,代码导航或保留样式的源到源转换,例如对源代码进行重构-源码
pfff pfff是一组工具和API,用于执行静态分析,代码可视化,代码导航或保留样式的源到源转换,例如对源代码进行重构。 有对Javascr ipt,Python,C,Java,Go和PHP的良好支持。 还初步支持其他语言,例如C ++,Ruby,Rust,C#,Html,CSS,Erlang,Lisp,Haskell,Skip和SQL。 对OCaml代码也有很好的支持,因此可以在pfff本身的代码上使用该框架。 对于每种语言,主要有2个库,例如parsing_php.cma和analys
所属分类:
其它
发布日期:2021-03-16
文件大小:17mb
提供者:
weixin_42131439
.emacs.d:我的emacs配置-源码
个人Emacs配置 此配置来自 。 Emacs本身支持多种编程语言。 此配置为以下内容添加了改进的默认设置和扩展支持,从我使用它们的大致顺序(从最大到最小)列出了以下内容: Haskell / Purescr ipt / Elm / OCaml Ruby / Ruby on Rails SQL CSS /更少/ SASS / SCSS Javascr ipt / Typescr ipt / Coffeescr ipt HTML / HAML /降价/纺织品/ ERB 常见的Lis
所属分类:
其它
发布日期:2021-02-24
文件大小:74kb
提供者:
weixin_42099176
umber:Umber编程语言-源码
琥珀色 免责声明 这个项目是一个正在进行的工作,说实话,目前是一团糟。 我在业余时间到处都在研究它,并且并行地进行一些设计和实现,所以这是特别的。 该项目在一段时间内可能不会处于良好的使用或贡献状态。 概述 Umber是一种ML样式的功能编程语言。 它以OCaml为模型,并进行了一些改进,包括: 代数效应,用于在类型级别跟踪功能副作用,同时在创建自定义控制流时也提供了便利和灵活性 更好地支持具有特征的即席多态性 在源代码和标准库的String类型中正确处理unicode 在文件/文件夹级别支
所属分类:
其它
发布日期:2021-02-18
文件大小:127kb
提供者:
weixin_42122306
hkt-fakenickels-源码
此高品位素描 用轻质高一些实验kinded类型OCaml中与 ,我使用,以更好地把握它(不是在所有适当的博客文章或教程)。 一旦我更好地掌握了它,我可能会做得更好。 -fakenickels(fakenickels) [removed] 错误 We ' ve found a bug for you! /Users/mandalarian/Downloads/hkt-fakenickels/src/Demo.re:199:9-11 197 │ 198 │ let intMa
所属分类:
其它
发布日期:2021-02-15
文件大小:40kb
提供者:
weixin_42161450
Zarith:Zarith库对任意精度的整数和有理数进行算术和逻辑运算。 基于GMP的实施非常有效-源码
扎里斯图书馆 概述 该库对任意精度整数实现算术和逻辑运算。 该模块简称为Z 它的接口类似于OCaml标准库中的Int32 , Int64和Nativeint模块的接口,并具有一些附加功能。 有关文档,请参见文件z.mlip 。 该实现使用GMP(GNU多精度算术库)来计算大整数。 但是,小整数表示为未装箱的Caml整数,以节省空间并提高性能。 大整数在Caml堆中分配,绕过GMP的内存管理,并且比MLGMP库具有更好的GC行为。 小整数的计算使用特殊的较快路径(在C或OCaml中),避免调用
所属分类:
其它
发布日期:2021-02-12
文件大小:102kb
提供者:
weixin_42121272
更好的OCaml-源码
更好的OCaml
所属分类:
其它
发布日期:2021-02-10
文件大小:5mb
提供者:
weixin_42165980
emacs.d:包含电池的Emacs配置包-源码
合理的Emacs配置 这是我的emacs配置树,自2000年以来一直在使用和调整,对于其他Emacs用户(尤其是Web开发人员)来说,这可能是一个很好的起点。 如今,它在某种程度上适合OS X,但众所周知,它也可以在Linux和Windows上运行。 Emacs本身支持多种编程语言。 此配置为以下各项添加了改进的默认设置和扩展的支持,并按照我使用它们的大致顺序(从最大到最小)列出了以下内容: Haskell / Purescr ipt / Elm / OCaml Ruby / Ruby o
所属分类:
其它
发布日期:2021-02-09
文件大小:66kb
提供者:
weixin_42133861
ocamlverse.github.io:OCaml世界中所有相关文档-源码
欢迎! OCamlverse致力于记录所有有关 (一种工业级功能编程语言)的知识。 :可以使用帮助的项目列表。 关于OCamlverse OCamlverse旨在成为易于发展的快速移动网站。 我们在GitHub上维护该站点,并将其几乎像Wiki一样对待。 我们依靠OCamlverse社区的帮助来使OCamlverse更好。 请贡献! 您可以: 在建立了PR维护站点的历史记录之后,您可以要求加入团队并帮助维护站点(使用问题)。 注意:务必阅读我们的。 他们解释了为OCamlverse做出贡
所属分类:
其它
发布日期:2021-02-05
文件大小:2mb
提供者:
weixin_42123237
ocaml-type-inference-in-ts-源码
Create React App入门 该项目是通过引导的。 可用脚本 在项目目录中,可以运行: yarn start 在开发模式下运行该应用程序。 打开在浏览器中查看它。 如果您进行编辑,则页面将重新加载。 您还将在控制台中看到任何棉绒错误。 yarn test 在交互式监视模式下启动测试运行器。 有关更多信息,请参见关于的部分。 yarn build 构建生产到应用程序build文件夹。 它在生产模式下正确捆绑了React,并优化了构建以获得最佳性能。 生成被最小化,并且文件名包括哈
所属分类:
其它
发布日期:2021-03-29
文件大小:412kb
提供者:
weixin_42137028