语言编译器Purescript en OCaml-Projet pour le cours“语言编程和编译”2023-2024 de l ENS Ulm
Compilateur du langage Purescript en OCaml - Projet pour le cours "Langages de programmation et compilation" 2023-2024 de l ENS Ulm (2024-03-23, OCaml, 0KB, 下载0次)
谷歌protobuf编译器的插件,用于根据protobuf规范和运行时生成接口,用于编码和解码protobuf消息
Plugin for Google s protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages (2024-02-28, OCaml, 0KB, 下载0次)
使用效果和处理程序的依赖型理论的实验阐述器
An experimental elaborator for dependent type theory using effects and handlers (2023-10-03, OCaml, 0KB, 下载0次)
基于具有持续时间的受限度量时序逻辑生成监控器的运行时验证工具链。,
Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations., (2023-10-20, OCaml, 0KB, 下载0次)
自动菌根查找器(AMFinder)允许基于计算机视觉的AM真菌菌落自动识别和量化...,
The Automatic Mycorrhiza Finder (AMFinder) allows for automatic computer vision-based identification and quantification of AM fungal colonisation and intraradical hyphal structures on ink-stained root images using convolutional neural networks. (2023-02-16, OCaml, 0KB, 下载0次)
混合基于跟踪和方法的编译策略的元混合JIT编译器的实验实现。,
Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies., (2021-12-08, 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次)
phphard是一个PHP源代码静态分析器。它的目标是强类型PHP程序,并在编译时检测错误。,
phphard is a PHP source code static analyzer. Its aim is to strong type PHP programs and detect bugs at compile time., (2013-10-16, OCaml, 0KB, 下载0次)