imandra-ai / ocaml-pltp
OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
☆14Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ocaml-pltp
- Examples to illustrate the use of experimental OCaml macros☆11Updated 6 years ago
- Emacs client for statistical memory profiler☆16Updated 4 years ago
- Pack file encoder/decoder in OCaml☆11Updated 7 years ago
- multi-shot continuations in OCaml☆46Updated last month
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes☆22Updated 5 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆24Updated 7 years ago
- ☆20Updated 7 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- Collect profiling information☆18Updated last year
- UTF-8 string literals and patterns for OCaml (unreleased)☆21Updated 9 years ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- A pretty-printing library in OCaml☆33Updated 4 years ago
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Updated 5 years ago
- Make interactive text-oriented user-interfaces for OCaml☆23Updated 4 years ago
- Evaluate code through the OCaml toploop for inclusion in educational material.☆12Updated 9 years ago
- A template set for writing semantics in LaTeX☆11Updated 9 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- QR code encoder for OCaml☆33Updated 2 months ago
- An OCaml clustering library☆20Updated 3 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆33Updated 3 weeks ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Updated 9 years ago
- An interval library for OCaml☆16Updated last year
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- An eDSL for MirageOS apps☆19Updated 6 years ago