OCamlPro / owiLinks
Seamless bug-finding for C, C++, Rust, Wasm and Zig
☆271Updated last week
Alternatives and similar repositories for owi
Users that are interested in owi are comparing it to the libraries listed below
Sorting:
- ☆64Updated last year
- The Gillian Platform main repository☆92Updated 3 weeks ago
- ☆174Updated 4 months ago
- Wasm SpecTec specification tools☆81Updated last week
- ☆58Updated 5 months ago
- Lock-free data structures for multicore OCaml☆259Updated 7 months ago
- the WebAssembly partial evaluator☆110Updated 4 months ago
- ☆216Updated last year
- Static analysis framework for C☆227Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆63Updated last week
- Interoperable effects based concurrency☆140Updated this week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 4 months ago
- A peer-to-peer file-transfer tool in OCaml☆145Updated 7 months ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and d…☆138Updated last week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- ☆279Updated last month
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 6 months ago
- build-once run-anywhere OCaml programs☆139Updated 5 months ago
- A tool-agnostic formal specification language for OCaml.☆154Updated 2 weeks ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆122Updated last year
- C Intermediate Language☆157Updated last week
- Cerberus C semantics☆79Updated 2 weeks ago
- Software Transactional Memory for OCaml☆134Updated 6 months ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆11Updated 2 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- Hotcaml: an interpreter with watching and reloading☆145Updated 3 years ago
- An SMT solver frontend for OCaml☆58Updated this week
- A simple ML-like programming language with subtyping and full type inference.☆186Updated last year