hzwer / AML
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
- Go! Lisp in OCaml☆75Updated 12 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- Bytecode compiler of a variant of Caml☆34Updated 9 years ago
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆18Updated 5 years ago
- Jane Street Capital's asynchronous execution library (unix)☆33Updated 2 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 2 years ago
- A pretty-printing combinator library for OCaml☆49Updated 6 months ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- Automatic testing of MoonBit programs☆23Updated last week
- The MLPolyR programming language, revived☆24Updated 4 years ago
- A new language for optimization☆13Updated 3 years ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆39Updated 7 months ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆13Updated 6 years ago
- Game of life in MoonBit☆18Updated last year
- Compile-time metaprogramming for OCaml☆72Updated 6 months ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆17Updated 2 months ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 2 years ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Coq library for serialization to S-expressions☆18Updated last year
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆16Updated 2 years ago
- A Scheme interpreter in Python☆14Updated 10 years ago