Drup / llvmgraph
Ocamlgraph overlay for llvm
☆21Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvmgraph
- OCaml library for manipulating context-free grammars☆18Updated 2 weeks ago
- QUICr parametric abstract domain for sets☆12Updated 9 years ago
- Generation of mutant programs☆21Updated 6 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- Interactive memory profiler based on Memtrace☆29Updated last week
- 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
- ☆19Updated 7 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆16Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- 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 bindings for clang☆23Updated 6 years ago
- OCaml bindings to Zstandard☆24Updated 2 months ago
- Vantage point tree implementation in OCaml☆19Updated 3 years ago
- The MemCAD static analyzer☆25Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- OCaml/MPI interface☆24Updated 7 months ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- Bisector tree implementation in OCaml☆25Updated 7 months ago
- OCaml bindings for jech/dht☆23Updated 4 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 6 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year
- Tracing library☆31Updated last week
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- Just In Time compiler for OCaml native toplevel☆55Updated 10 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated last year