ProtoQuipper:Proto-Quipper 语言的实现
需积分: 9 179 浏览量
2021-06-13
22:03:36
上传
评论
收藏 277KB ZIP 举报
ProtoQuipper:Proto-Quipper 语言的实现 （105个子文件） 
biblio.bib 2KB COPYRIGHT 894B Builtins.cpp 11KB proto-quipper-mode.el 2KB bwt.eps 90KB qft.eps 6KB qft3.eps 5KB bell.eps 5KB init0.eps 5KB .gitignore 265B Builtins.h 4KB Continuations.hs 41KB TypeInference.hs 39KB Syntax.hs 30KB PatternElimination.hs 29KB Translate.hs 28KB Circuits.hs 20KB LlvmExport.hs 18KB Interactive.hs 18KB Ordering.hs 15KB Typer.hs 15KB Core.hs 14KB Error.hs 13KB Builtins.hs 13KB Interpreter.hs 12KB Driver.hs 12KB Printer.hs 11KB Syntax.hs 10KB Overloading.hs 10KB Circuits.hs 8KB Subtyping.hs 7KB Options.hs 7KB TypingContext.hs 6KB SimplSyntax.hs 6KB Compiler.hs 6KB Namespace.hs 6KB Utils.hs 6KB Interpreter.hs 5KB Printer.hs 5KB Classes.hs 4KB Values.hs 4KB IRExport.hs 4KB Location.hs 2KB Console.hs 2KB ProtoQuipper.hs 2KB Type.hs 2KB Environment.hs 2KB Constructor.hs 1KB Variable.hs 363B Makefile 4KB Makefile 3KB Makefile 100B README.md 3KB NEWS 1KB NOTICE 379B p2 2KB p2options 74B
qft.png 7KB cnot.png 2KB Quipper5116.png 1KB init0.png 1KB term0.png 1KB bwt.qp 20KB bwt_imp.qp 18KB definitions.qp 13KB list.qp 10KB definitions_imp.qp 2KB bst.qp 2KB simon.qp 1KB gates.qp 1KB function.qp 1KB qft.qp 862B sort.qp 755B core.qp 749B dense.qp 698B types.qp 634B nonlinear4.qp 361B fib.qp 219B bell.qp 198B nonlinear1.qp 190B classic2.qp 140B nonlinear3.qp 136B classic4.qp 135B classic3.qp 133B classic1.qp 126B nonlinear2.qp 124B nonlinear0.qp 109B classic5.qp 90B classic0.qp 43B empty.qp 19B qft.qpi 75B right_copy 2KB Proto_Quipper.sty 12KB Proto_Quipper.tex 89KB algorithm.tex 66KB tutorial.tex 16KB Qcircuit.tex 9KB todo 186B
dictionary.txt 3KB prologue.txt 2KB共 105 条
- 1
- 2
资源评论
神力锂电
- 粉丝: 28
- 资源: 4691
最新资源
- redis实践资料，包含Redis命令操作、redis案例，Jedis代码操作
- 纳秒级计时之runtime类（精确记录运行时间）
- Git-2.45.2-64-bit.rar
- GA优化RBF神经网络
- nginx优化与防盗链☆☆☆
- TencentVideo_V8.11.01.28562_10124.apk
- 洗衣机VHDL控制器实验报告洗衣机VHDL控制器实验报告
- Redis是一个高性能的键值对数据库，它支持多种数据结构，如字符串、列表、集合、有序集合和哈希表 以下是一些Redis命令的实
- indy10.0.52-d7
- Redis是一个高性能的键值对数据库，它支持多种数据结构，如字符串、列表、集合、有序集合和哈希表 以下是一些Redis命令的实践
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
