StandardML

smlnjlib-sharp:为 SML# 移植 StandardML 实用程序库 smlnjlib 用 StandardML 编写的实用程序库。 将smlnjlib从 SML/NJ 110.77 移植到 。 支持的模块 SML# 支持以下模块。 “支持”在这里的意思是“可使用 SML# 编译器进行编译”。 模块 支持 控件 是的 文件 不 HashCons 是的 ...

评级：0 浏览量：46 收藏量：0 资源大小：676KB 上传时间：2021-06-30

polyml:多语言学习 聚/ML Poly/ML 是一种标准 ML 实现，最初是用一种名为的实验语言编写的。 从 4.0 版开始就完全兼容。 有关完整的历史记录，请参见。 Poly/ML 对标准 ML 语言采取保守的方法并避免不兼容的扩展。...

评级：0 浏览量：77 收藏量：0 资源大小：4.01MB 上传时间：2021-08-04

reduck:无类型λ演算的交互式工具 减少 一种可以在 lambda 演算中逐步找到项的(β-nf) 的工具。 它基本上是一种抽象函数式编程语言的解释器，它显示了评估过程中的每个计算步骤。 评估策略是call by name ，即它执行函数中的参数的替换（β-规则）而...

评级：0 浏览量：114 收藏量：0 资源大小：12KB 上传时间：2021-07-13

smell-spec:受 RSpec 启发的 SML 小型测试框架 气味规格气味规范是一个受启发的小型 SML 测试框架。 注意：这仅在进行过测试。例子写一些 sml fun fact 0 = 1 | fact n = n * fact(n- 1 ); 写一些测试use " ./file_containing_fact_function.sml " ;...

评级：0 浏览量：68 收藏量：0 资源大小：4KB 上传时间：2021-07-12

sml_stacktrace:SMLNJ 的堆栈跟踪演示 SML/NJ 堆栈跟踪演示使用 SML/NJ 的回溯功能的示例程序。运行演示要运行演示项目，只需调用 test.sh 。 $ ./test.sh 你会得到如下的跟踪日志： ..(snip)..[TEST] run sample program.....(snip)..*** BACK-TRACE ***...

评级：0 浏览量：115 收藏量：0 资源大小：2KB 上传时间：2021-07-10

start_smlsharp:此存储库是名古屋启动 SML# 的 SML# 代码示例 SML备忘单 概述 SML 是一种安排声明的语言 声明由;分隔（可选） 许多 REPL ;每次编译 文件扩展名是.sml 签名是.sig SML#还有一个接口文件.smi 用于在 NJ .cm编译，在 MLton .mlb以及 ...值/函数声明后面描述的模式...

评级：0 浏览量：66 收藏量：0 资源大小：9KB 上传时间：2021-07-05

sandbox:只是一个在将想法转化为项目之前探索想法的区域 沙盒只是一个在将想法转化为项目之前探索想法的区域。

评级：0 浏览量：26 收藏量：0 资源大小：3KB 上传时间：2021-06-30

compose2015:Compose 2015 会议的 SML 模块示例 撰写2015 Compose 2015 会议的 SML 模块示例。

评级：0 浏览量：57 收藏量：0 资源大小：3KB 上传时间：2021-06-29

COMP302:麦吉尔大学的编程语言和范式 - COMP 302 - 作业和课程作业 COMP302 McGill 的编程语言和范式 - COMP 302 - 作业和课程作业

评级：0 浏览量：77 收藏量：0 资源大小：2KB 上传时间：2021-06-22

bap-callstrings 要测试 table2tree： table_root=f ./build table2tree test_bin

评级：0 浏览量：35 收藏量：0 资源大小：79KB 上传时间：2021-06-19

vicpack:C64 图形转换器 维克包 vicpack 是一个命令行工具，用于将常规图像 (PNG/GIF/TIFF/JPG) 转换为 C64 格式。 它导出为最常见的格式，如多色、雇用、MCI、FLI 等。 它还可以使用 ACME 汇编器生成可运行的程序，可从 ...

评级：0 浏览量：50 收藏量：0 资源大小：102KB 上传时间：2021-06-19

cml-concurrency:在 ML 中完成并发编程 ML 中的并发编程 我通过工作。 资源

评级：0 浏览量：34 收藏量：0 资源大小：26KB 上传时间：2021-06-10

Compilers2015-Tiger:基于 Andrew Appel 在 ML 中的现代编译器实现的半虎到 MIPS 编译器 猜猜你接下来要做什么;-)。 待办事项清单 将 Humberto 的tiger.grm 复制到repo MIPSFrame.sml 新框架 分配本地 翻译 新关卡 ... llamar allocLocal en TransDec (FunDec y VarDec) 美洲驼 newLevel en TransDec ...

评级：0 浏览量：40 收藏量：0 资源大小：27KB 上传时间：2021-06-08

SML-Tiger-Compiler:用 SML 编写的 Tiger 编译器 SML-Tiger-编译器 由 Jordan Ly (jl455)、Kevin Do (kkd10) 和 Cody Lieu (cal53) 撰写 Andrew Appel 的 Tiger 语言的基本编译器，用 SML 编写，用于 ECE 553 编译器构造。 该编译器在 SML/NJ 上进行了测试。...

评级：0 浏览量：73 收藏量：0 资源大小：201KB 上传时间：2021-06-07

Protobuf:标准 ML 的协议缓冲区 原缓冲区 标准 ML 的协议缓冲区 注意：为了使用项目中除 TestRun.sml 和比较.sml 之外的任何文件，请编写以下语句： use "Load.sml"; 这将以正确的顺序导入所有其他文件。 作为一个软件库，Protocol Buffers for ...

评级：0 浏览量：52 收藏量：0 资源大小：441KB 上传时间：2021-06-06

Prolog-Interpreter:用 SML 编写的 Prolog 解释器 Prolog-解释器 用 SML 编写的 Prolog 解释器。 分别使用 ML-Lex 和 ML-Yacc 完成令牌生成和解析。 规则统一和回溯是为了实现解释器的关系主干。

评级：0 浏览量：78 收藏量：0 资源大小：26KB 上传时间：2021-06-05

simple-abt:没有什么花哨的，只是没有痛苦地绑定 只是简单的 Abts 所以我可以不假思索地快速刮掉东西。 在SML辅助的过程中不要想太多。如何使用它如果你想使用这个库，这里是基本过程。 将此目录复制到您的项目中。 将simple-abt/sources.cm添加到您的sources.cm 为...

评级：0 浏览量：38 收藏量：0 资源大小：5KB 上传时间：2021-06-05

hm:类型推断的一个小实现 嗯我正在介绍 CMU 的函数式编程课程。 一堆人在问类型推断是如何工作的，我最终勾画了算法 W​​ 的实现。 希望这最终会被打磨到足以与我 TA 的人实际分享。

评级：0 浏览量：31 收藏量：0 资源大小：9KB 上传时间：2021-06-05

mylib:标准机器学习库 厨房水槽 SML 库这个库是在 2011 年 DIKU 的一个项目期间开发的。我不再从事它了。 尽管如此，它还是很有用的。

评级：0 浏览量：71 收藏量：0 资源大小：82KB 上传时间：2021-06-02

serve-sml:最小的基于 SML 的 Web 服务器 服务端在标准 ML 中尝试使用 Web 服务器用法使用SML/NJ 在项目目录下启动sml 输入use "buffer.sml" ; use "parser.sml" ; use "server.sml" ; use "main.sml" ; use "buffer.sml" ; use "parser.sml" ;...

评级：0 浏览量：74 收藏量：0 资源大小：9KB 上传时间：2021-05-29

BasisLibrary:存储库和Wiki，用于丰富标准ML基础库 标准ML基础库 该存储库和相关的提供了一个平台，用于管理对规范的更改。 范围 SML基础库的设计目的是要限制其范围。 具体来说，它包含满足以下属性之一的功能： 需要特殊编译器支持的功能，例如字符串和数组。...

评级：0 浏览量：41 收藏量：0 资源大小：89KB 上传时间：2021-05-28

aplcompile:用标准ML编写的APL编译器 aplcompile：标准ML中的APL编译器 该软件在标准ML中实现了APL编译器。 请参阅。 另请参阅。 一个例子 这是编译并运行以下程序的结果： f ← { 5 + ⍵ } ⍝ Function adding 5 to its argument (⍵) ...

评级：0 浏览量：57 收藏量：1 资源大小：27KB 上传时间：2021-05-26

Hamming-Number-Generator:生成用户输入的汉明数 汉明数发生器 生成用户输入的汉明数 是只有2、3和5为素的正整数。 该程序将使用流和惰性评估有效地打印出海明数列表。 运行程序 该程序是在。 通过将以下行放入控制台来加载它： mosml 使用“ C：/目录/到/Hamming...

评级：0 浏览量：75 收藏量：0 资源大小：1KB 上传时间：2021-05-25

n64sym:N64符号识别工具 n64符号 n64sym是一个命令行实用程序，用于识别N64游戏中的符号。 用法 n64sym <input path> [options] <input path> 设置要扫描的文件的路径。 输入文件可以是RAM转储或ROM映像。...

评级：0 浏览量：89 收藏量：0 资源大小：713KB 上传时间：2021-05-23

learning-programming-languages::graduation_cap:学习编程语言的游乐场 学习编程语言 Erlang移至 Go [lang]移至 Haskell移至 伊德里斯（Idris）移至 Nix移至 Rust移至 Scala移至 排版语言已移至

评级：0 浏览量：79 收藏量：0 资源大小：3.04MB 上传时间：2021-05-23

TaPL-SML:“类型和编程语言”的随附代码，已移植到标准ML TAPL-SML 该项目包含标准ML中“类型和编程语言”书籍的公司代码。 环境 要在此项目中运行代码，您需要新泽西州的标准ML编译器（缩写为SML / NJ），可在下载。 所有代码均在版本110.77下进行了测试。...

评级：0 浏览量：89 收藏量：0 资源大小：42KB 上传时间：2021-05-22

sml-spreads:Brouwerian数据结构（点差，粉丝，选择序列）的库 这是一个包含许多Brouwerian数据结构的库。 选择顺序 选择序列是无限的值流。 点差 传播是一棵树，它可以无限宽也可以无限深。 可以认为它是由选择序列的有限前缀的谓词给出的（即扩展定律）。 ...

评级：0 浏览量：36 收藏量：0 资源大小：6KB 上传时间：2021-05-21

sml-kanren:让我们再做一个迷你人 sml-kanren miniKanren的实现，其中=== ， conj ， disconj和fresh 。 这主要是写的，所以我可以测试一些我为ML创建的库。 如果您想了解该语言的src/kanren.sig ，请参阅src/kanren.sig 。 如果需要有关如何编写...

评级：0 浏览量：64 收藏量：0 资源大小：6KB 上传时间：2021-05-21

MLj:这是从http获得的MLj源的副本 j MLj是用于标准ML的编译器，可编译为Java字节码。 它最初是由Persimmon IT，Inc.剑桥研究小组的Nick Benton，Andrew Kennedy和George Russell开发的，现在可以在，该由爱丁堡大学的Ian Stark管理。...

评级：0 浏览量：73 收藏量：0 资源大小：1.75MB 上传时间：2021-05-20

mlscheme:在标准ML中实施的计划解释器（自1997年以来的旧项目） 在标准ML中实施的计划解释器（自1997年以来的旧项目） 这是我自1997年以来的个人项目，是从带有RCS存储库的目录中导入的，但没有实际检查所有内容。 我进行了最小的更改，只是为了使项目再次使用New Jersey的...

评级：0 浏览量：22 收藏量：0 资源大小：16KB 上传时间：2021-05-19

parsimony:用于标准ML的解析器组合器 简约 Parsimony是标准ML的解析器组合器库。 它具有以下特点： 可插拔输入。 源位置跟踪。 广泛的示例代码。 ...代替“你好，世界！” 例如，下面是在交互式SML / NJ会话中使用Parsimony的示例（根据需要取消/编辑...

评级：0 浏览量：58 收藏量：0 资源大小：9KB 上传时间：2021-05-18

l10:L10逻辑编程语言 L10逻辑编程语言 这是L10编程语言的源存储库。 它包含很多东西，其中最有趣的是（当前）是从L10到Standard ML的。 从L10到X10分布式编程语言，还有很多编译器。 有关更多信息，请参见 。 Elton，L10到标准的ML编译器...

评级：0 浏览量：121 收藏量：0 资源大小：167KB 上传时间：2021-05-18

sml-elaborating-typechecker:如何使用LCF +验证来进行检查和规范化lambda字词的示例（通过可接纳性） 命题P由其意图定义（即算作对该命题的验证）； 知道P prop是已经理解了这个意图，并且知道P ver是已经实现了（通过构造验证对象）。 知道P true就是有一个计划验证P 我们从带有验证的LCF精简程序开始；...

评级：0 浏览量：58 收藏量：0 资源大小：13KB 上传时间：2021-05-17

smlsharp:SML＃编译器 SML＃-ML系列中的一种新语言 概述 SML＃是东北大学电气通信研究所开发的新一代标准ML系列编程语言。 它的设计目标是基于ML样式语言的类型理论的最新进展，提供适度但实用的扩展，同时保持标准ML定义的兼容性。...

评级：0 浏览量：197 收藏量：0 资源大小：8.12MB 上传时间：2021-05-16

mempo-kernel:确定性内核构建脚本，用于Linux，主要用于Debian 确定性内核确定性内核构建脚本，适用于Linux，目前主要用于Debian。 该脚本将以确定性的方式构建内核，并应用我们的默认设置和补丁。 它还将使用Grsecurity补丁来创建安全的强化grsecurity / pax内核（可选）。...

评级：0 浏览量：69 收藏量：0 资源大小：2MB 上传时间：2021-05-16

sml-higher-order-matching:（可能已损坏）二阶模式匹配 sml高阶匹配 高阶匹配是高阶统一的简化版本（通常无法确定）。 幸运的是，对于JonPRL和其他相关应用程序，匹配正是我们所需要的。 我正在尝试实现Gilles Dowek，Therese Hardin，Claude Kirchner和Frank Pfenning所...

评级：0 浏览量：49 收藏量：0 资源大小：3KB 上传时间：2021-05-14

sml-abt-unify:SML中ABT的简单统一 sml-abt-unify sml-abt用绑定变量和自由变量定义了一个很好的术语概念。 在此之上，我们可以定义用于统一到abt的通用统一算法。 此AbtUnify函数最简单的用法是使用AbtUnify函数。 AbtUnify(Abt : ABT_UTIL) ...

评级：0 浏览量：72 收藏量：0 资源大小：11KB 上传时间：2021-05-13

sail:Sail架构定义语言 Sail ISA规范语言 概述 Sail是一种用于描述处理器的指令集体系结构（ISA）语义的语言。 Sail的目标是提供一种工程师友好的，类似于供应商伪代码的语言来描述指令语义。 它本质上是一阶命令式语言，但具有轻量级依赖...

评级：0 浏览量：239 收藏量：0 资源大小：25.8MB 上传时间：2021-05-12

getcomposer.org:getcomposer.org来源 getcomposer.org来源 贡献 要贡献文档，请分叉composer / composer存储库并在doc目录中添加或更改文件。 可以在上浏览文档来源 然后在getcomposer.org上自动生成文档

评级：0 浏览量：54 收藏量：0 资源大小：50.03MB 上传时间：2021-05-12

raspberry-minimal-kernel:Raspberry PI 2最小内核 覆盆子最小内核Raspberry PI 2最小内核该存储库包含用于Raspberry PI 2的最小内核配置（主要是）的配置和二进制文件。该内核是“无模块的”，这意味着无法在运行时加载模块。 存储库包含： ./bins-内核的预构建二...

评级：0 浏览量：56 收藏量：0 资源大小：3.41MB 上传时间：2021-05-06

sml-fingertree:丑陋是值得的，丑陋是值得的，丑陋.. sml-fingertree 在SML中由手指树支持的有效，持久序列的实现。 由于缺乏多态递归，因此实现起来有些麻烦。 最终目标是使FINGERTREE等效于cmlib的SEQUENCE从而使人们可以与cmlib无缝地使用此序列。

评级：0 浏览量：43 收藏量：0 资源大小：4KB 上传时间：2021-05-04

examples:多种语言的各种示例程序 例子 各种语言的各种示例程序。

评级：0 浏览量：26 收藏量：0 资源大小：798KB 上传时间：2021-05-02

urweb:UrWeb编程语言 Ur / Web编程语言 用于Web应用程序的特定于域的功能编程语言的实现。 请访问以获取更多信息！ 总结如下： Ur是ML和Haskell的传统编程语言，但具有明显丰富的类型系统。 Ur是功能性的，纯净的，静态类型的和严格的。...

评级：0 浏览量：78 收藏量：0 资源大小：1.13MB 上传时间：2021-04-30

american-options:具有美国期权定价算法的实验 美式期权具有不同库的实验以及（最终）用于为美式期权定价的算法。 当前仅使用标准二项式模型。 AmrPut *中的各种实现都是基于Rolf Poulsen的FAMØS论文的R代码。编译Haskell版本Haskell实现未定义Main模块，因此，...

评级：0 浏览量：390 收藏量：0 资源大小：13KB 上传时间：2021-04-29

interactive-lp:与交互式React系统的逻辑编程有关的项目材料。 包含Ceptre编程语言 交互式lp 这是Ceptre的源存储库，Ceptre是一种微型逻辑编程语言，用于原型化规则集，您可以运行这些规则集，进行交互并进行分析。 适用于OS X / Win / Linux的二进制文件可在此处获取： : Ceptre在基于Unix的命令行...

评级：0 浏览量：62 收藏量：0 资源大小：1.81MB 上传时间：2021-04-29

UW-CSE341-Spring2019:华盛顿大学提供的CSE341课程安排（2019年Spring） CSE341：编程语言，2019Spring，华盛顿大学这个项目包含我对课程编程作业的回答。项目组织文件夹unit notes包含完成作业需要了解的所有注释文件夹setup包含设置作业环境的说明文件夹hw包含作业和我的答案在第一次...

评级：0 浏览量：158 收藏量：0 资源大小：4.09MB 上传时间：2021-04-22

programming-lang-u-washington:华盛顿大学编程语言 编程语言-华盛顿 华盛顿大学编程语言

评级：0 浏览量：47 收藏量：0 资源大小：2.79MB 上传时间：2021-04-19

ml_for_the_working_programmer:工作程序员的ML练习 该存储库包含“工作程序员的ML”一书的练习答案。

评级：0 浏览量：44 收藏量：0 资源大小：48KB 上传时间：2021-04-17

knuth-bendix 标准ML中的Knuth-Bendix完成它提供了用于运算方程式逻辑和一阶重写系统的功能，包括Knuth-Bendix完成。介绍关于方程逻辑考虑在给定的一组方程式下可以导出哪种方程式的逻辑称为等式逻辑。例如，考虑以下等式。...

评级：0 浏览量：48 收藏量：0 资源大小：31KB 上传时间：2021-04-13

sml-audio:一个用于在SML中处理音频的库 用于音频处理和I / O的标准ML库，旨在与软件包管理器配合使用。 包括IIR梳状和全通滤波器，人工混响，mu-law压缩以及.wav文件（8位或16位PCM）的I / O。 该库经过了很好的优化，并且-如果使用编译-则高度并行。...

评级：0 浏览量：78 收藏量：0 资源大小：493KB 上传时间：2021-04-11