hzwer / AMLLinks
Agent Manipulation Language
☆18Updated 7 years ago
Alternatives and similar repositories for AML
Users that are interested in AML are comparing it to the libraries listed below
Sorting:
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Compile-time metaprogramming for OCaml☆74Updated 11 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 11 months ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- VSCode extension for the Arend language☆11Updated 2 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆19Updated this week
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆62Updated 4 months ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆10Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Incremental implementation of a scheme compiler☆29Updated 12 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
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- ☆11Updated 3 months ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- SML The Living Language☆11Updated 11 years ago
- ☆14Updated 8 months ago
- HaScheme is a Scheme interpreter written by Haskell.☆11Updated 8 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- Wiki for ocaml compiler internals☆46Updated 11 years ago
- interactive λ-calculus for learning☆37Updated 6 years ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆63Updated 2 weeks ago