Alternatives and similar repositories for semgrep-interfaces

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

• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 9 months ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆32Updated last week
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 7 months ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last month
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆36Updated 7 months ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated last month
• 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…
  ☆40Updated last year
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• ahrefs / ocaml-ubpf
  OCaml bindings for the userspace eBPF VM
  ☆11Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• owlbarn / tutorial
  Owl Tutorial
  ☆5Updated 7 months ago
• janestreet / ppx_typed_fields
  GADT-based field accessors and utilities
  ☆17Updated last month
• janestreet / tracing
  Tracing library
  ☆33Updated last month
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated last year
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated last month
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆33Updated last month
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• ocurrent / ocaml-dockerfile
  OCaml interface for creating Dockerfiles
  ☆66Updated last week
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago
• ocaml-multicore / eventlog-tools
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Updated 2 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
• janestreet / re2
  OCaml bindings for RE2
  ☆47Updated 2 months ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 6 months ago
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 6 years ago