Drup / llvmgraph
Ocamlgraph overlay for llvm
☆21Updated 9 years ago
Alternatives and similar repositories for llvmgraph:
Users that are interested in llvmgraph are comparing it to the libraries listed below
- OCaml library for manipulating context-free grammars☆19Updated last month
- LLIR cross-language post-link optimiser for OCaml and C☆16Updated 2 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- QUICr parametric abstract domain for sets☆12Updated 9 years ago
- OCaml bindings to Zstandard☆24Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 6 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆52Updated last month
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 13 years ago
- C++ FFI Generator for Ocaml☆35Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 6 months ago
- Jane Street universe☆17Updated 4 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Bisector tree implementation in OCaml☆25Updated 9 months ago
- OCaml bindings for clang☆23Updated 6 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- OCaml library to work with DWARF format☆33Updated 4 months ago
- OCaml-TLS exposed to C☆23Updated 6 years ago
- A new language for optimization☆13Updated 3 years ago
- OCaml bindings for the userspace eBPF VM☆11Updated 2 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Updated 11 years ago
- OCaml/MPI interface☆24Updated this week
- OCaml bindings for jech/dht☆23Updated 4 years ago