Alternatives and similar repositories for semgrep-interfaces:

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

• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated last year
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 4 months ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 3 years ago
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆22Updated last week
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated last month
• janestreet / ppx_typed_fields
  GADT-based field accessors and utilities
  ☆14Updated 3 months 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 last year
• janestreet / re2
  OCaml bindings for RE2
  ☆45Updated 3 months ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆14Updated 6 months ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated this week
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆17Updated 3 months ago
• ocurrent / ocurrent-deployer
  A pipeline that deploys unikernels and other services
  ☆23Updated last month
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 2 months ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 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…
  ☆39Updated 7 months ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 7 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆34Updated 3 months ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆26Updated last week
• janestreet / ppx_python
  [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 3 months ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆34Updated 3 months ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago
• katamaran-project / katamaran
  Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…
  ☆17Updated this week
• riot-ml / scarab
  Benchmarking framework for OCaml
  ☆23Updated last year
• janestreet / tracing
  Tracing library
  ☆31Updated 3 months ago