Miko4 / ant
ant is not TeX
☆23Updated 8 years ago
Alternatives and similar repositories for ant:
Users that are interested in ant are comparing it to the libraries listed below
- OCaml with macros☆56Updated last month
- Ropes ("heavyweight strings") for OCaml☆49Updated 6 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- multi-shot continuations in OCaml☆48Updated last week
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated this week
- Runtime assertion checking based on Gospel specifications☆44Updated last month
- A command-line text editor in OCaml.☆12Updated 5 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- Efficient binder representation in OCaml☆40Updated 7 months ago
- Pure OCaml library to read and write tar files☆56Updated 3 weeks ago
- [wip] bindings to Dear Imgui for OCaml.☆16Updated 4 years ago
- Bindings to the various POSIX APIs☆27Updated 3 weeks ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- Brainfuck formalized in Coq☆26Updated 2 years ago
- A small library to output memory graph for ocaml values☆36Updated 7 months ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 2 months ago
- Experimental functional language☆17Updated 2 years ago
- MetaML and MetaOCaml bibliography☆86Updated 2 months ago
- Declarative 2D vector graphics for OCaml☆93Updated 2 months ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Updated 6 years ago
- 🩺 A library for compiler diagnostics☆38Updated 2 weeks ago
- Various signed and unsigned integer types for OCaml☆65Updated 2 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Extract snippets from code specified by comments.☆10Updated 3 months ago