OCamlPro / owiLinks
Seamless bug-finding for Wasm, C, C++, Rust and Zig
☆253Updated 2 weeks ago
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☆90Updated last week
- Lock-free data structures for multicore OCaml☆253Updated 5 months ago
- ☆64Updated 11 months ago
- A peer-to-peer file-transfer tool in OCaml☆144Updated 5 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated last week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- ☆276Updated last month
- Static analysis framework for C☆207Updated this week
- A tool-agnostic formal specification language for OCaml.☆149Updated 2 weeks ago
- Hotcaml: an interpreter with watching and reloading☆146Updated 3 years ago
- The Pulse separation logic DSL for F*☆26Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 2 months ago
- Interoperable effects based concurrency☆135Updated 4 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- build-once run-anywhere OCaml programs☆138Updated 3 months ago
- An SMT solver frontend for OCaml☆52Updated this week
- the WebAssembly partial evaluator☆106Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated this week
- Software Transactional Memory for OCaml☆132Updated 4 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- Cerberus C semantics☆71Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆74Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated last month
- ☆58Updated 3 months ago
- Parallel Programming over Domains☆179Updated 6 months ago
- C Intermediate Language☆153Updated last month
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 3 months ago
- Pure functional programming with whole-program mutability inference☆77Updated 2 months ago
- CN separation logic refinement type system for C☆38Updated this week