Alternatives and similar repositories for AML:

Users that are interested in AML are comparing it to the libraries listed below

• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆13Updated 6 years ago
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 8 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 5 months ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• bobzhang / MariOCaml
  ☆22Updated 7 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 3 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years 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…
  ☆18Updated 6 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated last year
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 5 months ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 3 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 5 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 11 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 5 years ago
• moonbit-community / cmark
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆17Updated last week
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 6 months ago
• thautwarm / Typed-BNF
  Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.
  ☆60Updated last year
• Kraks / MyPLZoo
  Implementations of various toy programming languages
  ☆12Updated 6 years ago
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆45Updated 11 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago