您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. virtual_dom:虚拟域库的OCaml绑定-源码

  2. Virtual_dom :虚拟DOM差异库 该库是Matt Esch的的OCaml包装器。它提供了DOM所需状态的简单,不可变的表示形式,以及通过在适当位置猛击整个DOM以及通过计算连续虚拟DOM之间的差异来更新浏览器中的真实DOM来匹配该DOM的原语,并将生成的补丁应用到真实的DOM。
  3. 所属分类:其它

    • 发布日期:2021-03-20
    • 文件大小:108kb
    • 提供者:weixin_42134878
  1. parallel-programming-in-multicore-ocaml:使用domainslib进行多核OCaml并行编程的教程-源码

  2. 多核OCaml中的并行编程 本教程将帮助您开始在Multicore OCaml中编写并行程序。所有代码示例及其相应的沙丘文件在code/目录中可用。本教程分为以下几节: 介绍 多核OCaml是OCaml的扩展,原生支持通过Domains共享内存并行性和通过Algebraic effects并发性。它正在缓慢但稳定地合并到中继OCaml。仅限领域的多核预计将首先出现,其次是代数效应。 并发是我们划分多个计算的方式,以便它们可以在重叠的时间段内运行,而不是严格按顺序运行。并行性是同时运行多个计算的行
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:722kb
    • 提供者:weixin_42144604
  1. tailwind-ppx:ReasonOCaml预处理程序扩展(PPX),可在编译时验证您的Tailwind类-源码

  2. 顺风ppx 原因/ OCaml在编译时验证您的Tailwind类。 目录 特征 当前的 检查无效的类名称(以及有效名称的建议!) 检查重复的类名 始终与您的tailwind.css文件同步(只需确保重新构建!) (使用PurgeCSS和tailwind-ppx的自定义提取器功能) ,将所有现有的className="..."为className=[%tw "..."] 即将来临 检查冗余的类名(例如同时具有flex-row和flex-col ) 检查类名的依赖关系(例如具有flex-row而没有
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:948kb
    • 提供者:weixin_42132056
  1. sqlite3-ocaml:OCaml绑定到SQLite3数据库-源码

  2. SQLite3-OCaml-OCamlSQLite3绑定 什么是SQLite3-OCaml? SQLite3-OCaml是一个库,具有与客户端API的绑定。 Sqlite3是一个自包含,无服务器,零配置的事务型SQL数据库引擎,在许多情况下均具有出色的性能。 这些绑定的编写方式使之能够与旧的(版本2)SQLite及其OCaml包装器ocaml-sqlite友好地共存。 用法 完整记录了文件src/sqlite3.mli的API。也可以在找到它。 SQLite3有自己的。 例子 该test在这
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:41kb
    • 提供者:weixin_42143221
  1. mattlude:OCaml Prelude库的实验性添加-源码

  2. mattlude:OCaml Prelude库的实验性添加
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:18kb
    • 提供者:weixin_42117150
  1. LLVM-源码

  2. 建立顺序: llvm: llvm llvm库 llvm-ocaml mlir-git->新软件包 lld 的openmp 波利 编译器-rt 铛 lldb spirv-llvm-translator libclc libc ++: libc ++ libc ++ abi libc ++实验 lib32-llvm lib32-llvm lib32-llvm-libs lib32-clang-git lib32-mlir-git->新软件包 构建示例: gi
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:34kb
    • 提供者:weixin_42122432
  1. ocaml-lsp:OCaml语言服务器协议的实现-源码

  2. OCaml LSP OCaml-LSP是用于OCaml的语言服务器,它实现了(LSP)。 该项目包含用于OCaml的语言服务器的实现,以及实现LSP的独立库。 安装 我们建议通过软件包管理器(例如或安装语言服务器。 奥帕姆 要将语言服务器安装在当前使用的opam: $ opam install ocaml-lsp-server 注意:您将需要在要使用ocaml-lsp-server的每台交换机上安装它。 埃西 要将语言服务器添加到esy项目中,请在终端中运行: $ esy add opam
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:470kb
    • 提供者:weixin_42127754
  1. waterproof:防水是在交互式笔记本中编写数学证明的教育环境。有关安装说明,请参见自述文件-源码

  2. 防水的 防水是一种教育工具,学生可以在其中交互式地证明数学陈述。这是一个练习示例,也是“防水”解决方案的一部分。 开发构建状态: 如何开始 入门防水的最简单方法是遵循以下步骤: 步骤1.按照以下步骤安装SerAPI 步骤2.使用的安装程序安装Waterproof Windows的第1步。安装SerAPI。 从下载适用于Windows的Ocaml图形安装程序。 Windows可能表明该软件未被许多人使用。无论如何要使用该软件,请选择keep 。 选择.exe文件,然后右键单击.exe文件,然后
  3. 所属分类:其它

  1. L-systems:程序,使用Ocaml(Mark)生成在“功能编程课程”中编码的L系统图像 -源码

  2. Projet PF5 2020:L系统 Prérequisà安装程序 Voir ocaml证明 沙丘与堡垒 书目图形学si elle ne vient pasdéjàavec ocaml 编译与启示 帕défaut, make EST seulementutilisé倒abréger莱commandes dune (案中案Makefile倒加上去详细说明): make无谓的lancera la编译dune de main.exe代码natif的est-à-direvotre程序。 mak
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:279kb
    • 提供者:weixin_42115074
  1. timere:OCaml时间处理和推理库-源码

  2. 泰米尔 OCaml日期时间处理和推理库 注意:项目核心已基本完成,但仍在测试中-欢迎在原型中使用它,但暂时不要在生产中使用它。 NLP组件是WIP。 免责声明:Timere并非旨在处理史前事件。 有关史前计划和预订软件,请咨询。 例子 从现在起在星期三的圣诞节 let () = let open Timere in match resolve ( after ( Date_time. now () ) & months [ `Dec ] &
  3. 所属分类:其它

    • 发布日期:2021-03-17
    • 文件大小:926kb
    • 提供者:weixin_42099116
  1. ocaml:Objective Caml编译器和编程环境-源码

  2. ocaml:Objective Caml编译器和编程环境
  3. 所属分类:其它

  1. mymlg-源码

  2. mymlg .mlg文件的简单语法荧光笔(Coq ocaml插件)。 使用Iro( )进行开发。
  3. 所属分类:其它

  1. bs-preact:不推荐使用https-源码

  2. 不推荐使用 ,它具有更多功能,可以与最新的Bucklescr ipt一起使用,并且可以与React和Preact一起使用。 bs-preact 为(OCaml | ReasonML)+ Bucklescr ipt设计的有针对性的Preact v10绑定,带有编译时实施。 | 概述 “你好,世界!” bs-preact的外观如下: module P = Preact let main = P. h1 [ P. id " hello " ] [ P. string " Hello, world
  3. 所属分类:其它

    • 发布日期:2021-03-16
    • 文件大小:154kb
    • 提供者:weixin_42099906
  1. ocaml-源码

  2. ocaml
  3. 所属分类:其它

  1. Projet2-ocaml-源码

  2. Projet2-ocaml
  3. 所属分类:其它

    • 发布日期:2021-03-08
    • 文件大小:554kb
    • 提供者:weixin_42128015
  1. OCaml-源码

  2. 编码和编译 ocamlc emacs 创建或打开文件 $ emacs文件路径 重要命令/快捷方式 线路作业 %保存文件$ C + x,C + s %复制$ M + w 削减百分比$ C + w %粘贴$ C + y 退出emacs的百分比$ C + x,C + c 程序运行 %执行ocaml $ C + c,C + e的一项功能 %执行整个文件$ C + c,C + b %给出光标下的术语类型$ C + c,C + t
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:920kb
    • 提供者:weixin_42116650
  1. aoc2019:Code 2019的到来-学习OCaml-源码

  2. Code 2019的到来 在此版本的代码问世中,我尝试使用OCaml解决难题。 解决方案可能不是很漂亮,也不是惯用的,但这主要是让我学习语言的工作方式以及围绕它的工具。 构建并运行 该项目使用dune构建代码。 要构建并运行特定的解决方案: dune exec ./main.exe 因此,对于第1天和第1部分: dune exec ./main.exe 1 1 执照
  3. 所属分类:其它

    • 发布日期:2021-02-22
    • 文件大小:35kb
    • 提供者:weixin_42099755
  1. 更好的OCaml-源码

  2. 更好的OCaml
  3. 所属分类:其它

  1. js_of_ocaml:从OCaml到Javascript的编译器-源码

  2. Js_of_ocaml(jsoo) Js_of_ocaml是从OCaml字节码到Javascr ipt的编译器。 这样就可以在Javascr ipt环境(如浏览器和Node.js)中运行纯OCaml程序。 它可以与OCaml的现有安装一起使用,因此易于安装和使用,无需重新编译任何库。 它带有针对大部分浏览器API的绑定。 根据我们的基准,生成的程序通常比使用OCaml字节码解释器运行得更快。 我们相信该编译器将比重新定位的OCaml编译器更易于维护,因为字节码提供了非常稳定的API。
  3. 所属分类:其它

  1. 使用PG'OCaml进行嵌入式SQL查询的语法扩展。- tizoc / ppx_pgsql-源码

  2. 使用PG'OCaml进行嵌入式SQL查询的语法扩展。- tizoc / ppx_pgsql-源码
  3. 所属分类:其它

    • 发布日期:2021-01-27
    • 文件大小:13kb
    • 提供者:weixin_38627603
« 12 3 4 5 6 7 8 9 10 ... 13 »