没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它lambda-invaders:基于OCaml的太空侵略者版本

lambda-invaders:基于OCaml的太空侵略者版本

共15个文件

ml：5个

configure：1个

gif：1个

OCaml

需积分: 5 0 下载量 20 浏览量 2021-05-13 16:17:26 上传评论收藏 391KB ZIP 举报

温馨提示

lambda入侵者是基于OCaml的太空入侵者实现。它使用了很棒的lambda-term库，它为utop和ocp-browser 。

资源推荐

资源详情

资源评论

swift-lambda-runtime：:warning_selector:不推荐使用AWS Lambda Runtime-请改用https：github.comswift-serverswift-aws-lambda-runtime

swift-lambda-runtime：:warning_selector:不推荐使用AWS Lambda Runtime-请改用https：github.comswift-serverswift-aws-lambda-runtime

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

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

lambda-view：自2017年以来用于读取JavaScript代码的新工具

lambda-view：自2017年以来用于读取JavaScript代码的新工具 lambda-view提供了一种更好的读取JavaScript源代码的方法。有什么不同？ lambda-view不同于崇高的文字/原子或您以前见过的其他编辑器：它不是文本编辑...

keycloak-lambda-authorizer:用于云的Keycloak适配器

描述 Lambda的实施适配器特征通过Lambda @ Edge支持AWS API Gateway，AWS Cloudfront 基于资源的授权（）与非亚马逊服务一起使用。验证JWT令牌的到期 ...import { apigateway } from 'keycloak-lambda-au

lambda-scala:Scala 中的类型级 lambda 演算

Scala 中的类型级 lambda 演算此存储库演示了 Scala 类型中 lambda 演算的实现。无类型 lambda 演算 import lambda . _ case class Equals [ A > : B < : B , B ]() // this checks type equality type S = x ...

lambda-cost-calculator：预测Lambda函数成本:money_bag:

lambda-cost-calculator：预测Lambda函数成本:money_bag:

aws-lambda-python:AWS

aws-lambda-python:AWS

swf-lambda-decider:用于简单工作流（SWF）的Amazon Lambda决策程序

swf-lambda-decider 适用于Amazon Simple WorkFlow（SWF）的Amazon Lambda决策程序介绍该库尽最大努力使使用Javascript编写SWF决策程序变得容易，并将其托管在Amazon Lambda上。重要提示：该库不会轮询SWF来...

lambda-proxy-utils:适用于AWS API Gateway lambda-proxy集成的Lambda事件帮助器

lambda-proxy-utils 适用于AWS API Gateway lambda-proxy集成的Lambda事件帮助器安装npm install --save lambda-proxy-utils更新版本2+ 不支持节点4。版本1.4.0的更新AWS Lambda不允许将数组用于标头，因此这是一种...

lambda-zero：一种最小的纯惰性函数式编程语言

lambda-zero：一种最小的纯惰性函数式编程语言

开源项目-mtojek-aws-lambda-go-proxy.zip

开源项目-mtojek-aws-lambda-go-proxy.zip,mtojek/aws-lambda-go-proxy: Pass Lambda events to the application running on your machine | Debug real traffic locally | Forget about redeployments

apollo-server-lambda-example：使用apollo-server-lambda时的错误示例

apollo-server-lambda-example：使用apollo-server-lambda时的错误示例

aws-lambda-boilerplate:开始构建下一个Lambda函数所需的一切

aws-lambda-样板使用此样板开始使用Node.js创建您的下一个Lambda函数设置如果尚未安装nvm，请安装它。 curl -o- https://raw.githubusercontent.com/creationix/nvm/v0.33.11/install.sh | bash 安装节点（v8.10...

java8看不到源码-ring-aws-lambda-adapter:用于AWSLambda和AWSAPIGateway的环形适配器

看不到源码ring-aws-lambda-适配器用于 AWS Lambda 和 AWS API Gateway 的环形适配器。使用任何环服务器在本地开发，并部署到 AWS Lambda 和 AWS API Gateway。此适配器旨在与多个 AWS API Gateway 路由后面的...

aws-lambda-scala：在Scala中编写AWS Lambda

aws-lambda-scala：在Scala中编写AWS Lambda

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

5星 · 资源好评率100%

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

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

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

5星 · 资源好评率100%

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义

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

5星 · 资源好评率100%

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

XCP协议的规范文档

5星 · 资源好评率100%

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

GD32替换STM32注意事项.pdf

NPPJSONViewer.zip

4星 · 用户满意度95%

NodePad++ JSON格式化插件

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

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

蓝牙BLE协议中文版.pdf

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

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

3星 · 编辑精心推荐

vs2015.iso包安装，不然会卡在安装包丢失或损坏

收起资源包目录

lambda-invaders-master.zip （15个子文件）

lambda-invaders-master

opam

opam 905B

descr 69B

files

lambda-invaders.install 73B

_oasis_remove_.ml 183B

_oasis 580B

src

objects.ml 9KB

main.ml 805B

l_utils.ml 475B

setup.ml 2KB

configure 363B

.gitignore 146B

.merlin 41B

Makefile 750B

README.md 194B

space_invader.gif 487KB

共 15 条

评论收藏

内容反馈

资源评论

资源反馈

评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~

Dr熊吉

粉丝: 31
资源: 4603

上传资源快速赚钱

我的内容管理展开

我的资源快来上传第一个资源

我的收益

登录查看自己的收益

我的积分登录查看自己的积分

我的C币登录后查看C币余额

我的收藏

我的下载

下载帮助

前往需求广场，查看用户热搜

lambda-invaders:基于OCaml的太空侵略者版本

psycopg2-lambda-layer:psycopg2 Lambda层

java8stream源码-publish-lambda-function:基于S3中可用的人工制品创建或更新AWSLambda函数

deploy-lambda-function：:light_bulb:Github操作以更新AWS Lambda函数的代码

The LAMBDA-Method: Matlab Implementation

swift-lambda-runtime：:warning_selector:不推荐使用AWS Lambda Runtime-请改用https：github.comswift-serverswift-aws-lambda-runtime

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

lambda-view：自2017年以来用于读取JavaScript代码的新工具

keycloak-lambda-authorizer:用于云的Keycloak适配器

lambda-scala:Scala 中的类型级 lambda 演算

lambda-cost-calculator：预测Lambda函数成本:money_bag:

aws-lambda-python:AWS

swf-lambda-decider:用于简单工作流（SWF）的Amazon Lambda决策程序

lambda-proxy-utils:适用于AWS API Gateway lambda-proxy集成的Lambda事件帮助器

lambda-zero：一种最小的纯惰性函数式编程语言

开源项目-mtojek-aws-lambda-go-proxy.zip

apollo-server-lambda-example：使用apollo-server-lambda时的错误示例

aws-lambda-boilerplate:开始构建下一个Lambda函数所需的一切

java8看不到源码-ring-aws-lambda-adapter:用于AWSLambda和AWSAPIGateway的环形适配器

aws-lambda-scala：在Scala中编写AWS Lambda

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

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

AutoSAR标准协议4.2.2

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

XCP协议的规范文档

GD32替换STM32注意事项.pdf

NPPJSONViewer.zip

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

蓝牙BLE协议中文版.pdf

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

最新资源

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