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
- The core OCaml system: compilers, runtime system, base libraries☆21Updated this week
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- ☆38Updated 8 years ago
- ☆60Updated 5 years ago
- ☆23Updated 13 years ago
- literate programming meets unison☆27Updated 10 months ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 7 months ago
- ☆16Updated 6 years ago
- Pure OCaml implementation of the D-Bus protocol☆33Updated last year
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- OCaml code for generating and analysing pcap (packet capture) files☆21Updated last year
- Parser and printer for date-times in ISO8601☆29Updated last year
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Extensible binary data format, like JSON but faster☆42Updated 2 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary