精华内容
下载资源
问答
  • ocamlc emacs 创建或打开文件 $ emacs文件路径 重要命令/快捷方式 线路作业 %保存文件$ C + x,C + s %复制$ M + w 削减百分比$ C + w %粘贴$ C + y 退出emacs的百分比$ C + x,C + c 程序运行 %执行ocaml ...
  • ocaml

    2021-03-20 11:37:43
    ocaml
  • 塞德克斯 适用于OCaml的Unicode友好词法生成器。 该软件包由LexiFi根据MIT许可条款许可。 sedlex最初由Alain Frisch 编写,现在作为github上ocaml-community存储库的一部分进行维护。原料药该API。概述sedlex是OCaml...
  • ocaml-rs-Rust中的OCaml扩展 ocaml-rs允许OCaml扩展名直接在Rust中编写,而无需C存根。 它最初是从派生的,但是由于支持,它几乎已被完全重写。 适用于OCaml 4.06.0及更高版本请报告有关任何问题注意:虽然可以安全...
  • ocaml-搜索这是一个包含各种泛型搜索算法的 ocaml 库。 它可用于: 寻找路径解谜机器人决策视频游戏机器人... 可以通过多种方式配置搜索: 对特定问题的适应两种搜索:图或树不同的搜索策略:深度优先、广度优先、...
  • OCaml LSP OCaml-LSP是用于OCaml的语言服务器,它实现了(LSP)。该项目包含用于OCaml的语言服务器的实现,以及实现LSP的独立库。安装我们建议通过软件包管理器(例如或安装语言服务器。奥帕姆要将语言服务器安装在...
  • ocaml-library:Ocaml

    2021-07-03 20:26:33
    Ocaml 库 在 Emacs 上显示包文件。 要求 发现 如何使用 下载此文件并添加加载路径。 将 `(requrie 'ocaml-library)` 附加到 .emacs。 然后,Mx `ocaml-library-browse`。 自定义 将要显示的包列表设置为变量ocaml-...
  • PG'OCaml是PostgreSQL数据库的OCaml绑定集。 请注意,这不是OCaml的第一个或唯一的PGSQL绑定。 以下是您可能要考虑的其他事项: 由Markus Mottl撰写的 PostgreSQL-OCaml Max Guesdon的 ODBC绑定,可用于访问...
  • OCaml-RPC-远程过程调用(RPC)库 ocaml-rpc是一个库,提供使用XML或JSON作为传输编码的远程过程调用(RPC)。 传输机制本身不在此库的范围内,因为所有转换都是从字符串到字符串的。 odoc生成的文档可在。 RPC类型 ...
  • base:OCaml的标准库

    2021-04-29 00:57:08
    Base是OCaml的标准库。 它提供了一组标准的通用模块,这些模块经过测试,性能良好并且可以在可以运行OCaml代码的任何环境中完全移植。 与其他标准库项目不同,Base被用作与OCaml编译器一起分发的标准库的批发替代品...
  • VSCode OCaml平台 用于OCaml和相关工具的Visual Studio Code扩展。 请报告您遇到的任何错误。 快速开始 从安装此扩展(或通过在命令选项板Ctrl + Shift + P (在MacOS上为Cmd + Shift + P )输入ext install ...
  • OCaml在冰上 OCaml On Ice是一个基于Ruby on Rails风格的Web框架,建立在之上。 它设计用于构建REST API,尤其是那些由BuckleScript或js_of_ocaml前端使用的REST API。 文档在,特别是请参见和。 项目状态 目前...
  • 描述Re是OCaml的正则表达式库。接触该库由Jerome Vouillon( )编写。 可以从下载错误报告,建议和贡献,欢迎。特征支持以下样式的正则表达式: Perl样式的正则表达式(模块Re.Perl ); Posix扩展正则表达式(模块...
  • 顶级一个简单的跨平台OCaml代码编辑器,用于顶级评估。特征Windows上的全部功能代码版本语法着色和缩进顶级整合错误定位计划功能汇编代码完成方便的文档访问多文件项目建造首选方法是opam install ocaml-top (或...
  • Mssql是一个OCaml SQL Server库,当前使用 。 特征 查询在后台线程中运行,并且可以与Async很好地配合使用(假设您固定freetds以便释放运行时锁) 支持单个连接或连接池 支持常见数据类型的自动转换 支持参数化查询...
  • ocaml_webapp OCaml中轻量级Web应用程序的最小示例。 它具有可能的文件组织功能,以最大程度地在服务器(本机OCaml)和客户端(BuckleScript)之间共享代码。 共享的一些东西是: React组件,这些组件在服务器...
  • 外国 ocaml 用于 OCaml 的 Haskell 外部函数接口 (FFI)。 允许将 OCaml 代码集成到 Haskell 程序中:现在界面仍然很粗糙,并且可能有我们需要处理的可怕的内存漏洞,将其视为概念证明。 它提供: 从 Haskell 调用...
  • ocaml的xml 这个程序和库将 OCaml 程序的抽象语法树 (AST) 漂亮地打印为 XML。 它被项目使用。 例子 $ cat let.ml let x = 7 in x + 3;; $ xml_of_ocaml let.ml | <xml_pretty_printer> <Builtin>...
  • lwt:OCaml承诺和并发IO

    2021-05-12 10:18:32
    Lwt是OCaml的并发编程库。 它提供了一种数据类型: promise ,这是一个将来会确定的值。 创建一个诺言会产生一个计算。 当该计算为I / O时,Lwt与OCaml代码并行运行。 OCaml代码(包括创建和等待Promise)默认情况...
  • OCaml扩展标准库-ExtLib。 * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software ...
  • Ocaml-井字游戏用 Ocaml 编写的无与伦比的井字游戏设置为了运行包含的安装脚本,请确保您的计算机上安装了自制软件。 可以在找到安装说明。下载项目 git clone ...
  • OCaml的Base64 Base64是一组类似的二进制到文本编码方案,它们通过将ASCII格式的二进制数据转换为基数64表示形式来表示二进制数据。 在指定。 另请参阅。 例子 简单的编码和解码。 utop # #require "base64";; ...
  • 为了能够轻松粘贴OCaml或ReasonML语法并获得目标语言语法中的等效内容 使用向下的按钮来… 为了能够轻松粘贴OCaml或ReasonML语法并获得目标语言语法中的等效内容。 使用右边的按钮选择目标语法,例如ReasonML,然后...
  • ollvm库提供了在纯OCaml中操纵LLVM IR的接口。 LLVM已经提供了与其C API的绑定,但是它仍然主要是强制性编程,并且大量使用了副作用。 ollvm在处理OCaml结构(列表,记录,变体等)上的方式有所不同。 提供一个Ez...
  • 符号差异使用 Ocaml 实现符号微分。 目前,该项目包括: 用于在单个变量中重新表达表达式的类型声明打印表达式的函数和微分函数但我计划实现更多功能,包括: 用于读取符号表达式的解析器简化函数(作为旁注,这些...
  • book:现实世界OCaml V2

    2021-05-12 21:43:51
    现实世界OCaml v2 这是Real World OCaml第2版的源代码,目前仍在开发中。 原始版本由Yaron Minsky,Anil Madhavapeddy和Jason Hickey编写,而修订版由Yaron Minsky和Anil Madhavapeddy领导。 Ashish Agarwal,Jeremy...
  • ml2mxml ml2mxml是OCaml库,用于生成musicxml( )文件。 该库的开发有两个原因: 在乐谱编辑器中缺少“ git”提供的内容, 使用Guitar Pro 6的剪切/复制/粘贴功能( )时会遇到困难。 使用该库,音乐可以写成: ...
  • OCaml中的Emacs软件包Ecaml是用于在OCaml中编写Emacs软件包的库。 它对动态模块使用Emacs 25支持,以将本机OCaml代码加载到Emacs中。构建一个插件使用沙丘使用(modes (native shared_object))在沙丘文件的可执行节中...
  • 食用辅酶将OCaml程序导入Coq。 从文件main.ml开始: type 'a tree = | Leaf of 'a | Node of 'a tree * 'a treelet rec sum tree = match tree with | Leaf n -> n | Node ( tree1 , tree2 ) -> sum tree1 + sum ...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 11,546
精华内容 4,618
关键字:

ocaml

友情链接: Myeclipse_jboss_ejb.rar