ocamllibs / clangml
OCaml bindings for Clang
☆15Updated 7 months ago
Alternatives and similar repositories for clangml:
Users that are interested in clangml are comparing it to the libraries listed below
- Pretty-printing for error source locations☆36Updated 2 years ago
- ☆15Updated 9 years ago
- A small library to output memory graph for ocaml values☆37Updated 9 months ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆41Updated 4 months ago
- Fuzzy type search for OCaml documentation☆81Updated 9 months ago
- OCaml hacking ideas, small and large.☆19Updated last year
- Notes on OCaml debugging and performance☆16Updated 8 months ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 7 months ago
- Interactive breakpoints!☆43Updated 11 months ago
- Runtime assertion checking based on Gospel specifications☆45Updated last week
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 6 months ago
- Generate Python bindings via pyml from OCaml value specifications☆30Updated last year
- ☆17Updated last week
- An SMT solver frontend for OCaml☆34Updated this week
- A PPX deriver that automates differential testing for OCaml modules☆24Updated 4 months ago
- A balanced binary search tree library for OCaml☆21Updated 4 months ago
- LP and MIP modeling in OCaml☆28Updated 3 weeks ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- PBT testsuite and libraries for testing multicore OCaml☆39Updated this week
- SPAKE2+EE implementation in OCaml☆17Updated 3 weeks ago
- Emacs client for statistical memory profiler☆16Updated 5 years ago
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated 2 weeks ago
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- OCaml ppx to include binary data from a file as a string☆79Updated 8 months ago
- A tool-agnostic formal specification language for OCaml.☆141Updated 2 months ago
- OCaml hash-consing library☆51Updated last year
- ☆29Updated last month
- A derivation explorer and logger for menhir parser☆16Updated last year
- A simple multi-format pretty-printer for Menhir.☆57Updated last month
- 2d game engine for OCaml☆64Updated last month