用 OCaml 编写的库

guestfs-tools

测试新的 guestfs-tools 拆分。
  • 11
  • GNU General Public License v3.0 only

ocaml-opium-unikernel

使用 opium + httpaf 的 unikernel 示例（使用 https://github.com/dinosaure/paf-le-chien）。
  • 10

sligh

用于模型转换的语言。
  • 10
  • MIT

bs-mocha

  • 8
  • MIT

c8hardcaml

在 Hardcaml 中实现 FPGA 的 CHIP-8 机器，并带有用于编写测试程序的自定义汇编器。
  • 8

ocaml-anneal

OCaml 中的模拟退火实现。
  • 7

TensorFlock

一种小型函数张量语言，具有爱因斯坦求和符号约定和编译时形状检查。
  • 7

austin-sbst

自动从 code.google.com/p/austin-sbst 导出。
  • 7

ocaml-effects-tutorial

学习 OCaml 效果和处理程序的教程（作者：tanelso2）。
  • 6
  • MIT

xic

Xi 编程语言的编译器。
  • 6

portia

终极文学编程预处理器（由 Rixed 提供）。
  • 4

dometyl-keyboard

一个参数生成器，用于设计用 ocaml 编写的分体式凹面人体工学键盘。 （马克尤克）。
  • 3
  • GNU Affero General Public License v3.0

cil

CIL 的 Haskell 接口。 （作者：托马斯霍金斯）。
  • 3
  • BSD 3-clause "New" or "Revised"

minimalist_things

终端用户界面应用程序供极简主义者列出所有事物并描述其必要性。
  • 3

adventofcode2021

  • 2
  • MIT

AdventOfCode2016

OCaml 中所有 25 个 AoC 2016 问题的解决方案：camel：（由 AxlLind 提供）。
  • 2
  • MIT

plotkicadsch

该项目的目标是能够将 Kicad Sch 文件导出为结构化图片文件。
  • 2
  • GNU General Public License v3.0

ocaml-algebra

小而整洁的（抽象）代数结构 OCaml 库。
  • 2

libguestfs-common

libguestfs 和工具之间共享的通用代码。
  • 2

edsl

将 TypeScript 作为 EDSL 嵌入另一种语言的示例。
  • 2
  • MIT

wcc

wo4mei3 的 c 编译器用 ocaml 编写（作者：wo4mei3）。
  • 1

xic

CS 4120：OCaml 中 Xi 语言的编译器（作者：manishsaha）。
  • 1

book

真实世界 OCaml 的 V2（由 prekel 提供）。
  • 1
  • GNU General Public License v3.0

aoc2021

2021 年代码来临的解决方案（作者：jubnzv）。
  • 1

hack-assembler

OCaml 中的 Hack 汇编器。一个将 Hack 计算机的汇编代码转换为其二进制表示形式的程序。
  • 0

lwt_eio

使用 Eio 中的 Lwt 库。
  • 0
  • ISC

ocaml-parsing

使用 Menhir + sedlex 在 OCaml 中编写解析器的样板代码。
  • 0
  • MIT

fio.ml

一种用 OCaml 编写的基于文件 IO 的深奥编程语言。
  • 0
  • MIT