Alternatives and similar repositories for ocaml-manual-cn

Users that are interested in ocaml-manual-cn are comparing it to the libraries listed below

• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 11 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 3 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• siriusdemon / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆26Updated 4 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆164Updated 5 months ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• mrmathematica / ooplai-zh
  OOPLAI中文翻译
  ☆33Updated 2 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• uternet / tspl-cn
  ☆28Updated 8 years ago
• hgzhehe / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆11Updated 4 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 9 years ago
• tpchina / tpchina.github.io
  ☆17Updated last month
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated last week
• Simple-XX / SimpleCompiler
  DIY Compiler
  ☆45Updated 11 months ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆211Updated last week
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆62Updated 2 months ago
• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆19Updated 6 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 4 years ago
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆51Updated 3 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆14Updated 6 years ago