IagoAbal / ebaLinks
EBA is a static bug finder for C.
☆14Updated 5 years ago
Alternatives and similar repositories for eba
Users that are interested in eba are comparing it to the libraries listed below
Sorting:
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Small example MirageOS unikernels.☆15Updated 6 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 7 years ago
- Extra string functions for OCaml☆21Updated 2 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- persistent-mode afl-fuzz for ocaml☆17Updated 7 months ago
- literate programming meets unison☆28Updated last week
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- Extensible binary data format, like JSON but faster☆43Updated 3 years ago
- Distributed computing library☆35Updated 6 years ago
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- ☆38Updated 9 years ago
- ☆23Updated 13 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- ☆16Updated 6 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 2 weeks ago
- ☆60Updated 5 years ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- OCaml library for combinatorics☆35Updated last month
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 7 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- Compile-time rewrite rules for OCaml☆17Updated 9 years ago
- ☆19Updated 8 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago