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 7 months ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆36Updated 5 months ago
• janestreet / ppx_typed_fields
  GADT-based field accessors and utilities
  ☆17Updated last week
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated 2 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated last week
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 4 months ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 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…
  ☆40Updated 10 months ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated last month
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated last month
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• ocurrent / ocurrent-deployer
  A pipeline that deploys unikernels and other services
  ☆23Updated 3 months ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated last week
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 5 months ago
• ocaml-multicore / eventlog-tools
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Updated 2 years ago
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 3 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆32Updated last month
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆34Updated 6 months ago
• janestreet / core_unix
  Unix-specific portions of Core
  ☆16Updated last week
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated last year
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last month