OCamlPro / owiLinks
Seamless bug-finding for Wasm, C, C++, Rust and Zig
☆249Updated this week
Alternatives and similar repositories for owi
Users that are interested in owi are comparing it to the libraries listed below
Sorting:
- Wasm SpecTec specification tools☆69Updated last week
- The Gillian Platform main repository☆91Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆38Updated last week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- C Intermediate Language☆154Updated 2 weeks ago
- ☆63Updated 11 months ago
- A peer-to-peer file-transfer tool in OCaml☆143Updated 4 months ago
- Lock-free data structures for multicore OCaml☆253Updated 4 months ago
- ☆212Updated last year
- ☆270Updated 2 weeks ago
- A language server for Standard ML in Rust.☆229Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated 2 weeks ago
- build-once run-anywhere OCaml programs☆138Updated 2 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated this week
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- A tool-agnostic formal specification language for OCaml.☆146Updated last week
- Cerberus C semantics☆69Updated last month
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆59Updated last month
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆73Updated 3 years ago
- An SMT solver frontend for OCaml☆47Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆288Updated this week
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated 2 weeks ago
- Fir programming language☆73Updated this week
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Static analysis framework for C☆204Updated this week
- Hotcaml: an interpreter with watching and reloading☆146Updated 3 years ago
- Parallel Programming over Domains☆179Updated 5 months ago
- Interoperable effects based concurrency☆135Updated 3 months ago
- Software Transactional Memory for OCaml☆130Updated 3 months ago
- Experiment on how to bootstrap the OCaml compiler☆108Updated 3 years ago