Drup / llvmgraph
Ocamlgraph overlay for llvm
☆21Updated 9 years ago
Related projects: ⓘ
- OCaml library for manipulating context-free grammars☆19Updated 2 weeks ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- QUICr parametric abstract domain for sets☆12Updated 9 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
- LLIR cross-language post-link optimiser for OCaml and C☆17Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 8 months ago
- OCaml bindings for clang☆24Updated 6 years ago
- Interactive memory profiler based on Memtrace☆29Updated 3 weeks ago
- The MemCAD static analyzer☆25Updated 2 years ago
- The C4 Concurrent C Fuzzer☆13Updated 10 months ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- Triangular mesh generation and manipulation☆12Updated 3 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 6 years ago
- Bisector tree implementation in OCaml☆25Updated 5 months ago
- OCaml-TLS exposed to C☆23Updated 6 years ago
- OCaml bindings to Zstandard☆24Updated 3 weeks ago
- Generation of mutant programs☆21Updated 5 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆51Updated 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
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- ☆19Updated 7 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 3 years ago
- Just In Time compiler for OCaml native toplevel☆55Updated 8 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 8 months ago
- L-system interpreter in OCaml☆23Updated 8 years ago
- RPC client/server for Irmin☆20Updated 3 years ago
- Vantage point tree implementation in OCaml☆19Updated 2 years ago
- Universal instruction selection☆12Updated 6 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- ☆16Updated 5 years ago