IagoAbal / eba
EBA is a static bug finder for C.
☆14Updated 4 years ago
Alternatives and similar repositories for eba:
Users that are interested in eba are comparing it to the libraries listed below
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Alice ML implementation☆17Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- literate programming meets unison☆27Updated 11 months ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- ☆23Updated 13 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 7 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
- ☆16Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- OCaml library for combinatorics☆35Updated 6 months ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- Example showing how to turn OCaml code (here Xmlm) into a C library.☆43Updated 4 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- ☆19Updated 8 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 7 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- ☆38Updated 8 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- ☆60Updated 5 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- F* running in the browser☆21Updated 5 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago