注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. CMOS 运算放大器设计优化方法研究

  2. CMOS 运算放大器设计优化方法研究。本手册以应用最为广泛的CMOS 两级密勒补偿运算跨导放大器为例，详细 介绍设计电路的详细流程。

  3. 所属分类：专业指导

    • 发布日期：2011-01-20
    • 文件大小：593920
    • 提供者：zhubc_04

  1. SBC8100开发板

  2. 关于ATMEL公司嵌入式系统开发板原理图，ARM内核，AT91SAM

  3. 所属分类：webOS

  1. extlib-1.5.3.tar.gz

  2. infer 安装礼依赖opam时 可能会用到extlib-1.5.3.tar.gz

  3. 所属分类：Linux

    • 发布日期：2017-03-10
    • 文件大小：70656
    • 提供者：zbo1301

  1. opam-repository-master.zip

  2. opam-repository-master.zip ocaml-4.02.3 源码 Objective Caml（OCaml）是Caml编程语言的主要实现 截至2017.11.14 ocaml最新稳定版本 md5: 356b2f7587a3d0255e4c110b46207370 大小：12.3 MB

  3. 所属分类：其它

    • 发布日期：2017-11-14
    • 文件大小：12582912
    • 提供者：tan3739

  1. opam-2.0.0-beta4.tar.gz

  2. opam-2.0.0-beta4.tar.gz ocaml-2.0.0-beta4 tar.gz 源码 tar.gz Objective Caml（OCaml）是Caml编程语言的主要实现 截至2017.11.14 ocaml 2.0.0版本的源码 md5: 40bcc6b3eea5f6a24fb01cfe0a996901 大小：746 KB

  3. 所属分类：其它

    • 发布日期：2017-11-14
    • 文件大小：764928
    • 提供者：tan3739

  1. opam-repository, OPAM的主 public 包存储库，OCaml的源包管理器.zip

  2. opam-repository, OPAM的主 public 包存储库，OCaml的源包管理器 这个库包含OCaml包和编译器元数据，并由缺省安装 opam插件使用。：如何贡献欢迎捐赠 ！CONTRIBUTING.md 文档有关于如何贡献的一般指南。如果你想添加一个新的软件包，请参考以下这些说明。许可证在这个存储库中的所

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：13631488
    • 提供者：weixin_38743481

  1. 振动信号趋势项提取方法研究.pdf

  2. 《振动信号趋势项提取方法研究》pdf文档。主要介绍振动信号趋势项的提取4 2017 EMD 0.6·c0s2 50·1+0.4·cos2丌·100·t 3 b 1=0.5-0.4 t2=0.7+0.2t+0.05t2+0.002t3 3=0.3exp-1 EMD EMD 101 2.5 0.5 EMD 02040.60.8100.20.40.608 (a)振动速度信号 (b)位移信号 图3 5.1 -0.5 00.10.20.3040.50.60.70.80.9 图1仿真信号波形 EMD趋势项

  3. 所属分类：嵌入式

    • 发布日期：2019-07-04
    • 文件大小：741376
    • 提供者：a354244002

  1. ocalme-opam-repository:私人OPAM资料库-源码

  2. ocalme-opam-repository:私人OPAM资料库

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：251904
    • 提供者：weixin_42131790

  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
    • 文件大小：481280
    • 提供者：weixin_42127754

  1. waterproof:防水是在交互式笔记本中编写数学证明的教育环境。有关安装说明，请参见自述文件-源码

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

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：3145728
    • 提供者：weixin_42135754

  1. ConCert:Coq中的智能合约验证框架-源码

  2. 音乐会 Coq中的智能合约验证框架。 有关开发的详细信息，请参见。 演唱会能够找到真实世界的攻击作为解释和。 如何建造 我们的开发使用Coq 8.11.2。 并取决于从源代码，std ++和coq-bignums安装的MetaCoq。 测试取决于QuickChick。 大多数依赖项可以通过opam安装。 要设置具有必要依赖项的开关，请从项目的根目录运行以下命令： opam switch create . 4.07.1 eval $( opam env ) opam repo add coq

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：473088
    • 提供者：weixin_42160252

  1. qt-opam-源码

  2. 5.15.2 qt-opam

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：5120
    • 提供者：weixin_42121412

  1. constructive-and-synthetic-reducibility-in-coq-源码

  2. 构造性和综合性的可约性理论：Myhill的同构定理和Coq中多表和真值表可约性的Post问题 这是论文“一种构造性和综合性的可约性理论：Myhill的同构定理和Coq中多表和真值表可约性的Post问题”的Coq机械化。 如何编译代码 您需要安装The Coq Proof Assistant, version 8.12 ， ， 软件包和软件包。 之后，您可以输入make 。 如何安装Coq 安装Coq和所需库的最简单方法是通过opam （版本2 ）。 opam switch create c

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：216064
    • 提供者：weixin_42178688

  1. template-proofs:PLDI'20纸的伪像-源码

  2. PLDI'20纸的工件：验证并发搜索结构模板 入门指南 该工件具有以下外部依赖性 OCaml版本4.07.1 OCaml Findlib版本1.8.1 ocamlbuild版本0.14.0 Coq版本8.11 Coq stdpp，版本coq-stdpp.dev.2020-03-18.1.846deb08 虹膜，版本coq-iris.dev.2020-03-21.0.ed3b52f9 GRASShopper，版本pldi_2020。 Z3，版本> = 4.5 满足所有OCam

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：95232
    • 提供者：weixin_42113380

  1. opam-repo-ci：OCurrent管道，用于测试向opam-repository的提交-源码

  2. 奥帕奇 状态：实验中 这是一个管道，用于测试对。 要在本地测试，您将需要： 来自GitHub的。 一个submission.cap一个构建集群。 运行opam-repo-ci-local命令（您可能需要增加打开文件数的限制）： ulimit -n 102400 dune exec -- opam-repo-ci-local \ --confirm harmless \ --submission-service submission.cap \ --github-token-

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：62464
    • 提供者：weixin_42135754

  1. opam-repo：用于实验的私有OPAM库-源码

  2. opam-repo：用于实验的私有OPAM库

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：2048
    • 提供者：weixin_42133680

  1. bsb-native-example-opam-example-源码

  2. bsb-native-example 这是一个演示的快速演示项目。 要在opam上发布，请参阅作为帮助器。 安装 npm i 建立字节码 npm run build 要构建其他目标（例如本机或js），您可以使用-backend标志直接调用bsb（或添加脚本），例如./node_nodules/.bin/bsb -backend native或./node_nodules/.bin/bsb -backend js 。 跑 ./lib/bs/bytecode/index.byte 转变 必

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：44032
    • 提供者：weixin_42139042

  1. opam-repository：opam的主要公共软件包存储库，OCaml的源软件包管理器-源码

  2. 该存储库包含OCaml软件包和编译器元数据，并由的默认安装。 可以使用opam-health-check [ ]探索软件包生态系统的状态： ://check.ocamllabs.io/ 如何贡献 欢迎捐款！ 文件具有有关如何一般准则。 如果您想添加新软件包，请参考。 执照 此存储库中包含的所有元数据均根据许可获得许可。 此外，由于该存储库中元数据的收集在技术上是“数据库”（在欧洲受制于“特殊”权利），我们想强调的是，即使是opam存储库中包含的元数据的收集已获得CC0许可，因此克隆o

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：19922944
    • 提供者：weixin_42117116

  1. llir-opam-repository：用于Duplo优化的OCaml的Opam存储库-源码

  2. llir-opam存储库 用于Duplo优化的OCaml的Opam存储库 注意 此存储库是实验性的-0.0.1标记不稳定。 建立 opam switch create llir \ --repositories=llir=git+https://github.com/nandor/llir-opam-repository \ --empty opam update opam install ocaml-variants.4.11.0.0.0.1+llir 参考文献 Duplo：OCaml

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：3145728
    • 提供者：weixin_42153691

  1. opam：opam是基于源的软件包管理器。 它支持多个同时进行的编译器安装，灵活的软件包约束以及Git友好的开发工作流程-源码

  2. opam-OCaml的软件包管理器 主 2.0 Opam是OCaml的基于源的软件包管理器。 它支持多个同时进行的编译器安装，灵活的软件包约束以及Git友好的开发工作流程。 Opam由创建并维护。 首先，请查看《和指南》。 编译这个仓库 从现有的opam安装中，使用opam pin add opam-devel --dev ，或： 确保已安装必需的依赖项： GNU make OCaml> = 4.02.3（或参见） C ++编译器（除非没有求解器，请参阅./configure

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：961536
    • 提供者：weixin_42135773
« 12 3 4 »