Alternatives and similar repositories for AML

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

• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• owlbarn / owl_mask_rcnn
  Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
  ☆19Updated 5 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 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…
  ☆19Updated 6 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆20Updated 6 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• MarisaKirisame / extensible-parser
  ☆11Updated 2 months ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• janestreet / async_unix
  Jane Street Capital's asynchronous execution library (unix)
  ☆33Updated last week
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• LaurentMazare / rsexp
  S-expression parsing and writing in Rust
  ☆18Updated 2 years ago
• Chris00 / ocaml-moss
  Client for the MOSS plagiarism detection service
  ☆19Updated 5 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆46Updated 11 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago