ocamllibs / clangml
OCaml bindings for Clang
☆15Updated 6 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
- 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
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 5 months ago
- ☆15Updated 9 years ago
- Interactive breakpoints!☆43Updated 10 months ago
- Fuzzy type search for OCaml documentation☆80Updated 8 months ago
- LP and MIP modeling in OCaml☆28Updated last month
- OCaml ppx to include binary data from a file as a string☆79Updated 7 months ago
- Dependency graphs for OCaml modules, libraries and packages☆38Updated 8 months ago
- An SMT solver frontend for OCaml☆34Updated last week
- SPAKE2+EE implementation in OCaml☆17Updated this week
- A simple multi-format pretty-printer for Menhir.☆57Updated last week
- Realtime grep for OCaml/Coq sources available on opam☆81Updated 6 months ago
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- Generate Python bindings via pyml from OCaml value specifications☆30Updated last year
- Runtime assertion checking based on Gospel specifications☆45Updated last week
- A tool-agnostic formal specification language for OCaml.☆140Updated last month
- PBT testsuite and libraries for testing multicore OCaml☆39Updated this week
- A Simple Profiling Library for OCaml☆131Updated 2 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆84Updated last week
- OCaml hacking ideas, small and large.☆19Updated 11 months ago
- Notes on OCaml debugging and performance☆16Updated 7 months ago
- Snóke is a good old Snake game with new ideas☆21Updated 2 years ago
- Regular languages in types☆22Updated 7 years ago
- OCaml PPX deriver for reflection☆52Updated 2 years ago
- A balanced binary search tree library for OCaml☆21Updated 3 months ago
- The Flambda backend project for OCaml☆132Updated this week
- ☆17Updated this week
- 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…☆39Updated 8 months ago