OCamlPro / owiLinks
Symbolic execution for Wasm, C, C++, Rust and Zig
☆224Updated this week
Alternatives and similar repositories for owi
Users that are interested in owi are comparing it to the libraries listed below
Sorting:
- The Gillian Platform main repository☆86Updated 3 weeks ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆56Updated this week
- Lock-free data structures for multicore OCaml☆248Updated last month
- ☆62Updated 8 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- C Intermediate Language☆146Updated 2 months ago
- An SMT solver frontend for OCaml☆42Updated this week
- A deterministic parser with fused lexing☆73Updated last year
- Cerberus C semantics☆62Updated this week
- Software Transactional Memory for OCaml☆122Updated last week
- A tool-agnostic formal specification language for OCaml.☆144Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 2 weeks ago
- An OCaml library providing a C parser and lexer☆42Updated 7 months ago
- Interoperable effects based concurrency☆131Updated last week
- Hotcaml: an interpreter with watching and reloading☆143Updated 2 years ago
- Experiment on how to bootstrap the OCaml compiler☆107Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆135Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆32Updated this week
- A peer-to-peer file-transfer tool in OCaml☆143Updated last month
- ☆58Updated 9 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆75Updated 2 months ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Parallel Programming over Domains☆177Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated last month
- ☆267Updated 4 months ago
- Wasm SpecTec specification tools☆53Updated this week
- ☆172Updated 8 months ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆184Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month