Alternatives and similar repositories for semgrep-interfaces

Users that are interested in semgrep-interfaces are comparing it to the libraries listed below

• janestreet / ppx_typed_fields
  GADT-based field accessors and utilities
  ☆17Updated last month
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• semgrep / testo
  Test framework for OCaml
  ☆32Updated last month
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 10 months ago
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated 2 years ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆42Updated 3 weeks ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 7 months ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated last year
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆37Updated last year
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆33Updated last month
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 2 months ago
• ocamllibs / metaquot
  OCaml syntax extension for quoting code
  ☆27Updated 4 months ago
• gborough / sarif
  Static Analysis Results Interchange Format (SARIF) For OCaml
  ☆14Updated 9 months ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆11Updated 2 months ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• janestreet / ocaml-compiler-libs
  compiler libraries repackaged
  ☆21Updated last year
• LaurentMazare / ocaml-wasmtime
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35Updated 3 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• tarides / cactus
  A Btree library in OCaml
  ☆18Updated 2 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 6 years ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆23Updated 6 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 5 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated last month