一种编译器静态分析工具，其目标语言是Elm的超集。
A compiler static analysis tool that targets a language that is a superset of Elm. (2024-05-02, OCaml, 0KB, 下载0次)
在编译实践中，我们将为简单的算术表达式语言编写编译器。
During our practice of compilation, we are going to write a compiler for a simple arithmetic expression language. (2024-03-11, OCaml, 0KB, 下载0次)
使用效果和处理程序的依赖型理论的实验阐述器
An experimental elaborator for dependent type theory using effects and handlers (2023-10-03, OCaml, 0KB, 下载0次)
TouIST，用于逻辑的IDE和语言（由SAT、SMT和QBF解算器支持）
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers) (2021-01-12, OCaml, 0KB, 下载0次)
嵌入在OCaml中的Lisp解释器。UVA CS 4610（2020年秋季）课程的最终项目选项
A Lisp interpreter embedded in OCaml. Final project option for UVA s CS 4610 (Fall 2020) course (2020-12-09, OCaml, 0KB, 下载0次)
MolEnc：使用rdkit和OCaml.的分子编码器。，
MolEnc: a molecular encoder using rdkit and OCaml., (2023-10-06, OCaml, 0KB, 下载0次)
集成了Github操作和代码空间的编译器设计家庭作业分配模板，
A template for the home work assignments of Compiler Design with integrated Github Actions and Codespaces, (2023-09-25, OCaml, 0KB, 下载0次)
用于检查类型、内存和并发安全的扩展C方言的编译器和运行时库，
A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety, (2016-01-31, OCaml, 0KB, 下载0次)
一种简单的微处理器（用网络表编写）及其组件，用于执行时钟的程序，
A simple microprocessor (written in netlist) and its assembly in order to execute the program of a clock, (2018-11-03, OCaml, 0KB, 下载0次)
在浏览器中同时运行OCaml和Rust混合代码的教程项目列表。，
List of tutorials projects experiencing OCaml and Rust mixed code running together in the browser., (2020-09-11, OCaml, 0KB, 下载0次)
数学演示的形式验证器。基于Patrick Dehornoy对一阶逻辑WITH模式的描述，
Formal verifier for mathematics demonstrations. Based on the description of the first order logic WITH schemas by Patrick Dehornoy, (2023-07-28, OCaml, 0KB, 下载0次)
简单迭代器抽象数据类型，旨在在执行某些转换时对集合进行有效迭代。，
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations., (2023-06-12, OCaml, 0KB, 下载0次)
CCSS是CSS（层叠样式表）的预处理器，使用算术运算和变量扩展该语言，
CCSS is a preprocessor for CSS (Cascading Style Sheets), extending the language with arithmetic operations and variables, (2022-04-29, OCaml, 0KB, 下载0次)
原型黑客是一个服务器编程挑战。下面是使用OCaml 5和基于效果的IO库Eio的实现，
Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio, (2023-02-10, OCaml, 0KB, 下载0次)
MirageOS单内核充当辅助DNS服务器，使用let s encrypt将证书签名请求配置为有效证书，
A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let s encrypt, (2023-06-22, OCaml, 0KB, 下载0次)
OCaml中的简单整数计算器。Lexes解析、编译和计算任意整数数学表达式。
A simple integer calculator in OCaml. Lexes, parses, compiles and evaluates arbitrary integer mathematical expressions. (2017-03-11, OCaml, 0KB, 下载0次)
Coral编程语言：一个速度极快的渐进式Python编译器，具有可选的静态类型以用于opt...
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety. (2021-03-13, OCaml, 0KB, 下载0次)
用符号数学将猫头鹰与其他加速器和数字框架连接起来
Connect Owl with other accelerators and numerical frameworks with symbolic maths (2022-04-11, OCaml, 0KB, 下载0次)
dbm库上的加密层：访问具有对称加密的无服务器密钥值数据库。
Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption. (2018-08-12, OCaml, 90KB, 下载0次)
归纳定理证明器Coq的一个模块，它基于归纳型定义生成函数和定理...
A module for the inductive theorem prover Coq, which generates function and theorems based on inductive type definitions. (2016-10-10, OCaml, 29KB, 下载0次)