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 3 weeks ago
• semgrep / testo
  Test framework for OCaml
  ☆35Updated 2 weeks ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆43Updated this week
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated last year
• 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
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆17Updated 3 months ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆13Updated this week
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated last year
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆35Updated 8 months ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆33Updated 3 weeks ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆38Updated last year
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 8 months 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
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated last year
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 3 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 5 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆25Updated 2 years ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆43Updated 10 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 months ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 8 months ago