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 week
• semgrep / testo
  Test framework for OCaml
  ☆28Updated this week
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆41Updated last month
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆24Updated last year
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 5 months ago
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 9 months ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• janestreet / core_unix
  Unix-specific portions of Core
  ☆18Updated last week
• 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
• tarides / cactus
  A Btree library in OCaml
  ☆18Updated 2 years ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 6 years ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• 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
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 3 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 11 months ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆37Updated last year
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆32Updated last week
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆34Updated 5 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 6 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated last month
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated 11 months ago
• ocamllibs / metaquot
  OCaml syntax extension for quoting code
  ☆27Updated 3 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 5 years ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year