ocaml-pedersen:OCaml中Pedersen哈希函数的实现

preview
共14个文件
ml：6个
dune：3个
opam：1个
OCaml
需积分: 10 0 下载量 76 浏览量 2021-03-17 08:53:07 上传 评论 收藏 11KB ZIP 举报
资源详情
资源评论
评论 收藏
zhangjames
  • 粉丝: 21
  • 资源: 4745
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

zip

ocaml-mpst:OCaml中的多方会话类型

ocaml-mpst是由OCaml中的多方会话类型（缩写为MPST）提供支持的通信库。 因此，它可以确保： 无死锁协议保真度（通信将根据规定的协议进行）和通讯安全（您不会遇到任何类型不匹配的错误） ---假设所有通信通道都是...
zip

ocaml-library:Ocaml 库

Ocaml 库 在 Emacs 上显示包文件。 要求 发现 如何使用 下载此文件并添加加载路径。...将函数ocaml-library-browse绑定到任何键。 例子： ( define-key 'tuareg-mode-map ( kbd " C-: " ) 'ocaml-library-browse )
zip

ocaml-lsp:OCaml语言服务器协议的实现

OCaml LSP OCaml-LSP是用于OCaml的语言服务器，它实现了（LSP）。该项目包含用于OCaml的语言服务器的实现，以及实现LSP的独立库。安装我们建议通过软件包管理器（例如或安装语言服务器。奥帕姆要将语言服务器安装在...
zip

ocaml-cohttp：OCaml库，用于使用Lwt或Async的HTTP客户端和服务器

ocaml-cohttp：OCaml库，用于使用Lwt或Async的HTTP客户端和服务器
zip

ocaml-arm:X86到ARM OCaml交叉编译器

ocaml-arm 适用于ARM的Ocaml交叉编译器。 很大程度上基于 。 建造： 在Debian或衍生发行版上，需要采取以下步骤： sudo dpkg --add-architecture armhf sudo dpkg --add-architecture i386 # Only if on amd64. ...
zip

ocaml-csv：OCaml的CSV库

ocaml-csv：OCaml的CSV库
zip

ocaml-jupyter：Jupyter（IPython）笔记本的OCaml内核

ocaml-jupyter：Jupyter（IPython）笔记本的OCaml内核
zip

ocaml-rs:Rust中的OCaml扩展

ocaml-rs-Rust中的OCaml扩展 ocaml-rs允许OCaml扩展名直接在Rust中编写，而无需C存根。 它最初是从派生的，但是由于支持，它几乎已被完全重写。 适用于OCaml 4.06.0及更高版本请报告有关任何问题注意：虽然可以安全...
zip

ocaml-tls：纯OCaml中的T​​LS

ocaml-tls：纯OCaml中的T​​LS
zip

ocaml-webmachine：OCaml的REST工具包

ocaml-webmachine：OCaml的REST工具包
zip

ocaml-urps：URPS：统一随机对等采样器

ocaml-urps：URPS：统一随机对等采样器
zip

ocaml-protoc：用于OCaml的Protobuf编译器

ocaml-protoc：用于OCaml的Protobuf编译器
zip

ocaml-git：纯OCaml Git格式和协议

ocaml-git：纯OCaml Git格式和协议
zip

ocaml-safepass:OCaml-safepass是一个用于安全存储用户密码的库，供在Web应用程序中使用

OCaml-safepass的明显使用域是Web应用程序，尽管它不依赖于任何特定框架。 在内部，OCaml-safepass绑定到Openwall的的C例程。 但是，将OCaml-safepass描述为与Crypt_blowfish的OCaml绑定是不正确的，因为它公开的...
zip

aws-lambda-ocaml-runtime：适用于AWS Lambda的OCaml自定义运行时

aws-lambda-ocaml-runtime：适用于AWS Lambda的OCaml自定义运行时
zip

ocaml-caqti：对关系数据的合作线程访问

ocaml-caqti：对关系数据的合作线程访问
zip

vscode-ocaml-platform:用于OCaml的Visual Studio Code扩展

VSCode OCaml平台 ...安装并确保可在PATH上访问ocaml-env程序（ ocaml-env位于相对于安装目录的usr/local/bin文件夹中）。 ReScript / BuckleScript 不支持新的ReScript语法（ res和resi文件），应改用 。
zip

ocaml-leveldb:Google的LevelDB的OCaml绑定

ocaml-leveldb：Google的LevelDB的OCaml绑定 版权所有（c）2011-2021 Mauricio Fernandez 这些绑定几乎公开了完整的LevelDB C ++ API，包括： 迭代器 快照 批量更新 支持自定义比较器 阻止功能可释放OCaml运行时...
zip

ocaml-aws：为Amazon Web Services生成的OCaml绑定

ocaml-aws：为Amazon Web Services生成的OCaml绑定
default

Qt 5实现串口调试助手 （源工程文件、0积分下载）

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
star 5星 · 资源好评率100%
pdf

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
star 5星 · 资源好评率100%
zip

AutoSAR标准协议4.2.2

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
star 5星 · 资源好评率100%
rar

光伏-储能并网系统仿真.rar

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
star 5星 · 资源好评率100%
zip

XCP协议的规范文档

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
star 5星 · 资源好评率100%
pdf

GD32替换STM32注意事项.pdf

GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
star 3星 · 编辑精心推荐
zip

NPPJSONViewer.zip

NodePad++ JSON格式化插件
star 4星 · 用户满意度95%
zip

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
zip

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

vs2015.iso包安装，不然会卡在安装包丢失或损坏
star 3星 · 编辑精心推荐
pdf

蓝牙BLE协议中文版.pdf

蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致