hzwer / AMLLinks
Agent Manipulation Language
☆17Updated 7 years ago
Alternatives and similar repositories for AML
Users that are interested in AML are comparing it to the libraries listed below
Sorting:
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Compile-time metaprogramming for OCaml☆74Updated 10 months ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- Incremental implementation of a scheme compiler☆29Updated 12 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 3 months ago
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Updated 5 years ago
- C Library of Double-Array Trie System☆16Updated 11 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- 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
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Metamath in C++☆11Updated 6 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- ☆14Updated 7 months ago
- Theorems that rule this multiverse☆11Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆18Updated this week
- Wiki for ocaml compiler internals☆46Updated 11 years ago
- Client for the MOSS plagiarism detection service☆19Updated 5 years ago
- OCaml 文档中文版☆32Updated 6 years ago