没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
国家/地区:Haskell国家贡献
国家/地区:Haskell国家贡献
共9个文件
nix:5个
json:1个
md:1个
github-api
haskell
jupyter
data-visualization
需积分: 5
0 下载量
96 浏览量
2021-02-04
07:06:22
上传
评论
收藏
25KB
ZIP
举报
温馨提示
立即下载
国家/地区:Haskell国家贡献
资源推荐
资源详情
资源评论
Haskell入门:用stack搭建haskell编译环境
浏览:112
stack官方网站: ...首先: 在终端下键入下面这条命令: ... 出现以下情况: 在终端下输入命令: sudo apt install curl ...stack new my-project ...stack setup //作用:为你的项目找到合适的GHC stack build //作用:在此...
doctest:Haskell的python doctest的实现
浏览:106
在Linux上: export PATH="$HOME/.cabal/bin:$PATH"在Mac OS X上: export PATH="$HOME/Library/Haskell/bin:$PATH"在Windows上: set PATH="%AppData%\cabal\bin\;%PATH%"有关更多信息,请参阅的。用法下面是一个...
mptc:haskell的类型推断
浏览:36
具有不带扩展名的多参数类型类的Haskell的类型推断描述Haskell的类型推断,支持无功能依赖项或类型族的多参数类型类。代码结构- /src/BuiltIn : contains modules for built-in definitions of types and classes.- ...
cedille:Cedille,一种基于依赖Lambda消除演算的依赖类型编程语言
浏览:2
储存库内容重点cedille-mode/ :用于Cedille Emacs模式的Elisp代码cedille-tests/ :Cedille Emacs前端的单元测试core/ :Cedille Core Checker的Haskell实现language-overview/ :示例Cedille程序,展示了其一些...
haskell-spsa:Haskell 中的同时扰动随机逼近
浏览:123
Haskell中的SPSA 是针对任何维度的连续损失函数的全局优化器。 它具有强大的理论基础,必须调整的旋钮很少。 虽然它没有得到遗传算法或其他进化计算的关注,但它处于同一水平,具有更好的基础。 状态:稳定文档还在...
cpp-ffi-example:Haskell C++ FFI 示例
浏览:158
Haskell C++ FFI 示例要构建它,请执行以下操作: 制作 C++ 测试库( make install步骤将其安装到/usr/local/c++-ffi-example ,完成后您可以清理它): cd c++-libmakesudo make install制作 Haskell 库和测试程序...
HTF:Haskell测试框架
浏览:117
HTF-Haskell测试框架 文档: : 来源存储库: : 问题追踪器: : state 作者:Stefan Wehr( ) 执照:LGPL 概括 Haskell测试框架(简称HTF)可让您定义单元测试( 属性( )和黑色轻松便捷地进行盒子测试。 HTF...
arrayfire-haskell:Haskell绑定到ArrayFire
浏览:99
arrayfire-haskell:Haskell绑定到ArrayFire
haskell-wasm:Haskell WebAssembly工具包
浏览:174
haskell-wasm:Haskell WebAssembly工具包
hoogle:Haskell API搜索引擎
浏览:134
Hoogle是Haskell API搜索引擎,它使您可以通过函数名称或近似类型签名来搜索许多标准的Haskell库。 要进行实验,请访问的在线版本。 在线版本: : 黑客页面: ://hackage.haskell.org/package/hoogle 源代码: : ...
haskell-mooc:Haskell MOOC赫尔辛基大学
浏览:51
haskell-mooc:Haskell MOOC赫尔辛基大学
todo-bff:Haskell中的Todo Web API
浏览:102
Haskell中使用chakra库的REST Web Api服务器。 目标 业务层必须遵循DDD,事件源和CQRS。 优先层应该是不可知的,并支持可插入设计,Postgresql,Cassandra,CouchDb等。 探索领域: 事件源域聚合 将域事件持久化...
stdio:Haskell标准输入和输出
浏览:125
Haskell Stdio:Haskell标准输入和输出该项目移至并分成几个包。 欢迎! Haskell stdio是一个由libuv提供支持的完整I / O工具包,它具有多核io多路复用器和对打包数据类型的各种改进。 该项目仍处于起步阶段。 请...
haskell-tools:Haskell的开发人员工具
浏览:26
haskell-tools:Haskell的开发人员工具
pebble:Haskell中的玩具符号代数演算库
浏览:180
一个玩具Haskell库,用于存储符号代数,尤其是导数。 我写它主要是为了学习做一堆事情。 我得到了很多的想法和一些代码(我几乎照搬了simplify ,从他的功能)从,虽然我改写了我自己的衍生品的代码不看他。 我已经...
template-haskell-project:haskell项目的模板
浏览:16
template-haskell-project:haskell项目的模板
haskell报告:Haskell语言报告
浏览:193
haskell报告:Haskell语言报告
haskell-opencv:Haskell绑定到OpenCV-3.x
浏览:200
haskell-opencv:Haskell绑定到OpenCV-3.x
hslua:Haskell的Lua解释器接口
浏览:139
hslua:Haskell的Lua解释器接口
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:146
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:77
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:165
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:193
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
GD32替换STM32注意事项.pdf
浏览:172
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览:2
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
NPPJSONViewer.zip
浏览:124
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览:2
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:192
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:71
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
收起资源包目录
countries-master.zip
(9个子文件)
countries-master
nix
ihaskell
overlay.nix
338B
haskellPackages
overlay.nix
190B
default.nix
499B
nixpkgs
default.nix
527B
src.json
189B
countries.ipynb
37KB
README.md
149B
shell.nix
396B
.gitignore
65B
共 9 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_42128015
粉丝: 20
资源:
4641
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于STM32输液监测系统-源程序,LABVIEW上位机,HMI串口屏
ESG评分与企业绩效之间的关系
B85M-G-ASUS-3602
安卓开发期末大作业-记事本项目源码(95分以上).zip
Photoshop CC工具预设.tpl格式文件如何导入打开(请下载后打开).url
小白drf版本组件的解析
Android Studio开发的背单词APP源码(期末大作业).zip
drf初步执行流程的解析
drf的应用(纯净版项目)
android开发期末大作业-记事本项目源码(95分以上)
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功