thierry-martinez / clangml
OCaml bindings for Clang
☆13Updated 4 months ago
Alternatives and similar repositories for clangml:
Users that are interested in clangml are comparing it to the libraries listed below
- ☆15Updated 8 years ago
- A small library to output memory graph for ocaml values☆36Updated 6 months ago
- Pretty-printing for error source locations☆36Updated 2 years ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆40Updated last month
- Fuzzy type search for OCaml documentation☆73Updated 6 months ago
- Compiler and tooling for the Myte programming language.☆21Updated last year
- Interactive breakpoints!☆43Updated 8 months ago
- LP and MIP modeling in OCaml☆27Updated 3 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 2 months ago
- Realtime grep for OCaml/Coq sources available on opam☆80Updated 4 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated this week
- Dependency graphs for OCaml modules, libraries and packages☆37Updated 6 months ago
- A derivation explorer and logger for menhir parser☆16Updated 8 months ago
- A tool-agnostic formal specification language for OCaml.☆132Updated this week
- OCaml hacking ideas, small and large.☆19Updated 9 months ago
- OCaml PPX deriver for reflection☆51Updated 2 years ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 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…☆40Updated 6 months ago
- Notes on OCaml debugging and performance☆16Updated 5 months ago
- The Flambda backend project for OCaml☆121Updated this week
- A frontend for multiple SMT solvers in OCaml☆29Updated last week
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆27Updated 2 weeks ago
- A balanced binary search tree library for OCaml☆21Updated last month
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- NES emulator in OCaml☆37Updated last year
- Meta-preprocessor for OCaml☆77Updated last year
- An OCaml mutation tester☆66Updated this week
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 7 months ago
- Generate Python bindings via pyml from OCaml value specifications☆30Updated last year
- Emacs client for statistical memory profiler☆16Updated 4 years ago