Alternatives and similar repositories for semgrep-interfaces

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

• semgrep / testo
  Test framework for OCaml
  ☆35Updated last week
• janestreet / ppx_typed_fields
  GADT-based field accessors and utilities
  ☆17Updated 3 weeks ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆43Updated last week
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 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
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆43Updated last year
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆25Updated 2 years ago
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆13Updated this week
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated last year
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 11 months ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 3 years ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 8 months ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆33Updated 3 weeks ago
• craff / phox
  ☆14Updated last year
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆15Updated 8 years ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆38Updated last year
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 8 months ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆17Updated 3 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆35Updated 8 months ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 6 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• codex-semantics-library / patricia-tree
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Updated 2 weeks ago