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

文库首页开发技术其它The MinCaml Compiler:***移至http://github.com/esumii/min-caml ***-开源

The MinCaml Compiler:移至http://github.com/esumii/min-caml -...

开源软件

0 下载量 35 浏览量 2021-04-25 12:22:26 上传评论收藏 578KB GZ 举报

温馨提示

共152个文件

ml：71个

sld：20个

mli：18个

***移至http://github.com/esumii/min-caml *** MinCaml：从小型ML子集到SPARC或PowerPC汇编语言的教育性编译器；只有Objective Caml的2000行，但几乎与OCaml和GCC一样高效，甚至比OCaml和GCC高！

资源推荐

资源详情

资源评论

Maven更新失败，Cannot resolve plugin org.apache.maven.plugins:maven-compiler-plugin:3.1

compiler-gcc5.h

在开发或更新内核时，编译过程至关重要。"compiler-gcc5.h" 文件是Linux内核编译过程中使用的特定版本的编译器头文件，它包含了与GCC 5编译器相关的特定宏定义和类型定义，用于优化内核代码以适应GCC 5的语法和特性...

ethminer-0.16.0.dev3

Note: In Windows, it is possible to have compiler issues if you don't specify build config. In that case use: ```sh cmake --build . --config Release ``` 5. _(Optional, Linux only)_ Install the .

plexus-compiler--2.8.4.jar.rar

Plexus Compiler是一个开源项目，它是Maven生态系统中的一个组件，用于处理编译任务。这个压缩包文件"plexus-compiler--2.8.4.jar.rar"包含了Plexus Compiler的三个关键模块，分别是plexus-compiler-api-2.8.4.jar、...

C PROGRAMMING TUTORIAL

./hello ``` #### C Basic Syntax C has a specific syntax that must be followed to write valid programs. ##### Tokens in C Tokens are the smallest units of a C program. They include keywords, ...

Fetcher:移至http://github.com/KenjiTakahashi/gayeogi-开源

一个简单的应用程序可以构建您的音乐库，然后从金属档案，迪斯科唱片等中获取信息，并向您显示您仍然缺少的内容（例如新发行的作品）。移至http://github.com/KenjiTakahashi/gayeogi

OctoMap:移至新位置：http://octomap.github.com/-开源

用于机器人系统的概率，灵活和紧凑的3D映射库。 OctoMap使用八叉树在3D中提供有效的占用网格映射。 OctoMap开发已移至http://octomap.github.com/

Qt开发面试题.pdf

- **元对象编译器(Meta-Object Compiler, moc)：** 自动生成信号槽连接所需的代码。 - **信号槽机制**：通过`connect()`函数建立信号与槽之间的连接。 7. **创建和使用自定义图形项**： - **继承QGraphicsItem**...

qtcreator4.4.1.zip

IS_GCC -DQT_NO_DEBUG -DQT_WIDGETS_LIB -DQT_GUI_LIB -DQT_NETWORK_LIB -DQT_CONCURRENT_LIB -DQT_CORE_LIB -I../../../src -I../../../src -I../../libs -I/opt/qt-creator-opensource-src-4.4.1/tools -I../../..

Keil Package全部下载地址

5星 · 资源好评率100%

### Keil 5 Package 全部下载地址及详细介绍 #### Keil 5 Package 概述 Keil 5 是一款非常流行的嵌入式系统开发工具，由 Keil Software 开发并由 Arm 收购后继续维护。Keil 5 提供了集成开发环境 (IDE) 和一系列...

Linux下caffe及Faster-rcnn(python版)安装全过程

- 安装驱动前给予文件执行权限: `chmod +x ./NVIDIA-Linux-x86_64-375.39.run` - 执行安装命令: `sudo ./NVIDIA-Linux-x86_64-375.39.run` - 验证驱动是否安装成功: `sudo nvidia-smi` - 启动图形界面: `sudo ...

RTCMultiConnection 基于webrtc的音视频流媒体服务器

5星 · 资源好评率100%

git clone https://github.com/muaz-khan/RTCMultiConnection.git ./RTCMultiConnection ``` ##### 2. 安装依赖 - 进入RTCMultiConnection目录并安装依赖： ```bash cd RTCMultiConnection sudo npm install...

Professional C++ 2nd Edition

4星 · 用户满意度95%

- **GCC (GNU Compiler Collection):** GCC对C++11的支持情况可以在官方网站上找到:[http://gcc.gnu.org/projects/cxx0x.html](http://gcc.gnu.org/projects/cxx0x.html) 这些链接提供了关于各个编译器如何实现C++...

esp-idf 1/2

从GitHub下载的ESP-IDF库（包括所有子模块）压缩包，git clone --recursive https://github.com/espressif/esp-idf.git，从GitHub下载日期为20200401，由于整个包大于CSDN限制，所以被分为两个分包，分别为esp-idf 1...

centos安装Nginx详细配置

5星 · 资源好评率100%

./configure --prefix=/usr/local/nginx \ --user=nobody --group=nobody \ --with-http_stub_status_module \ --with-http_gzip_static_module \ --with-http_realip_module \ --with-http_sub_module \ --.

gradle-8.0-bin 专用安卓stu 下载太慢了

3. **使用代理**：如果网络环境支持，可以通过配置 HTTP 或 HTTPS 代理来加速下载。 4. **缓存管理**：合理设置 Gradle 的缓存路径和大小，可以减少不必要的重复下载。 5. **Gradle 升级**：检查是否有新版本的 ...

java程序调试错误收集

当出现类似 `org.apache.jasper.JasperException: The absolute uri:http://java.sun.com/jsp/jstl/core cannot be resolved in either web.xml or the jar files deployed with this application` 的异常时，这通常...

Redis基础笔记总结

- **定义**: Remote Dictionary Server（远程字典服务器）是一种开源的、高性能的键值（Key-Value）数据库。 - **语言**: 使用ANSI C语言编写，遵循BSD许可协议。 - **特性**: - **内存存储**: 数据主要存储于内存...

curl-7.78.0-win64-mingw.zip

- **简介**：MinGW（Minimalist GNU for Windows）是一个包含GCC（GNU Compiler Collection）的开源Windows编译环境，允许在Windows上构建原生的Windows应用程序。 - **作用**：在这个环境下，curl被编译为适合...

maven安装.txt

- `mvn compile` 或者 `mvn compiler:compile` 用于编译项目的源代码。 - `mvn test-compile` 用于编译测试代码。 3. **运行测试：** - `mvn test` 运行项目的单元测试。 4. **生成站点文档：** - `mvn site` ...

操作系统开发/调试的案例集合

使用 `./app` 命令来运行 Mac 应用程序。 - **调试：** 使用 LLDB 对 `main.m` 进行调试。 #### Windows **开发工具** - **编译器：** MSVC（Microsoft Visual C++ Compiler）是 Windows 下常用的编译器，适用于...

Linux资源网站

2. **GCC (GNU Compiler Collection)**: 是一套功能强大的编译器集合，支持多种编程语言。这里提供了多个版本的下载链接： - GCC 3.2: [ftp://ftp.gnu.org/pub/gnu/gcc/](ftp://ftp.gnu.org/pub/gnu/gcc/) - GCC ...

maven-compiler-plugin-3.8.0-source-release插件

`maven-compiler-plugin-3.8.0-source-release` 是 Maven 生态系统中不可或缺的一部分，它提供了可靠的源代码编译功能，使得开发者能够专注于编写代码，而无需关心构建过程的细节。通过理解 Maven 插件的工作原理和...

Linux系统的移植.pdf

- **gcc：** GNU Compiler Collection，包含C/C++编译器等。 - **glibc：** GNU C Library，提供标准库支持。 - **linux kernel：** Linux内核源代码。 **编译流程：** - **编译binutils：** 构建二进制工具链的...

收起资源包目录

The MinCaml Compiler:***移至http://github.com/esumii/min-caml ***-开源（152个子文件）

raytrace.c 37KB

mandelbrot.c 699B

stub.c 682B

tak.c 296B

float.c 294B

ack.c 245B

harmonic.c 202B

fib.c 189B

RayTrace.cxx 38KB

tutorial-mincaml.doc 153KB

tutorial-ml.doc 127KB

index.html 5KB

huffman.int 239KB

LICENSE 2KB

Makefile 5KB

Makefile 4KB

Makefile 3KB

Makefile 2KB

Makefile 1KB

Makefile 957B

min-rt.ml 35KB

emit.ml 13KB

emit.ml 12KB

emit.ml 11KB

regAlloc.ml 10KB

regAlloc.ml 9KB

kNormal.ml 7KB

typing.ml 6KB

virtual.ml 6KB

virtual.ml 5KB

closure.ml 5KB

asm.ml 4KB

constFold.ml 2KB

globals.ml 2KB

simm.ml 2KB

alpha.ml 2KB

mandelbrot.ml 2KB

beta.ml 2KB

main.ml 2KB

elim.ml 1KB

ppm.ml 1KB

inline.ml 1KB

spill3.ml 1KB

matmul-flat.ml 1KB

matmul.ml 1KB

spill.ml 938B

miniMLRuntime.ml 899B

anchor.ml 767B

assoc.ml 703B

spill2.ml 635B

syntax.ml 624B

id.ml 613B

harmonic.ml 543B

diff.ml 412B

float.ml 363B

m.ml 294B

inprod.ml 294B

type.ml 268B

cls-bug2.ml 245B

even-odd.ml 240B

tak.ml 227B

join-stack.ml 225B

inprod-loop.ml 223B

join-stack2.ml 216B

join-reg.ml 213B

join-reg2.ml 212B

inprod-rec.ml 210B

cls-bug.ml 207B

funcomp.ml 204B

join-stack3.ml 202B

s.ml 195B

fib.ml 184B

shuffle.ml 181B

non-tail-if.ml 178B

ack.ml 136B

gcd.ml 125B

non-tail-if2.ml 123B

cls-rec.ml 117B

txt2int.ml 104B

sum-tail.ml 97B

adder.ml 92B

fib.ml 90B

sum.ml 83B

print.ml 51B

asm.mli 2KB

closure.mli 848B

kNormal.mli 692B

miniMLRuntime.mli 117B

typing.mli 103B

共 152 条

评论收藏

内容反馈

资源评论

资源反馈

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

白苏艾

粉丝: 34
资源: 4607

上传资源快速赚钱

我的内容管理展开

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

我的收益

登录查看自己的收益

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

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

我的收藏

我的下载

下载帮助

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

The MinCaml Compiler:***移至http://github.com/esumii/min-caml ***-...

Anathema:Anathema已移至http://anathema.github.com-开源

CppUTest (Moved!):移至：http://cpputest.github.com/cpputest/-开源

RetroShare:[警告]项目已移至http://github.com/Retroshare/Retroshare-开源

Bracer:存储库已移至：http://dtitov.github.com/bracer-开源

Maven更新失败，Cannot resolve plugin org.apache.maven.plugins:maven-compiler-plugin:3.1

compiler-gcc5.h

ethminer-0.16.0.dev3

plexus-compiler--2.8.4.jar.rar

C PROGRAMMING TUTORIAL

Fetcher:移至http://github.com/KenjiTakahashi/gayeogi-开源

OctoMap:移至新位置：http://octomap.github.com/-开源

Qt开发面试题.pdf

qtcreator4.4.1.zip

Keil Package全部下载地址

Linux下caffe及Faster-rcnn(python版)安装全过程

RTCMultiConnection 基于webrtc的音视频流媒体服务器

Professional C++ 2nd Edition

esp-idf 1/2

centos安装Nginx详细配置

gradle-8.0-bin 专用 安卓stu 下载太慢了

java程序调试错误收集

Redis基础笔记总结

curl-7.78.0-win64-mingw.zip

maven安装.txt

操作系统开发/调试的案例集合

Linux资源网站

maven-compiler-plugin-3.8.0-source-release插件

Linux系统的移植.pdf

最新资源

The MinCaml Compiler:移至http://github.com/esumii/min-caml -...

gradle-8.0-bin 专用安卓stu 下载太慢了