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 5 months 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 8 months ago
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 6 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated 2 months ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 2 months ago
• ocurrent / ocurrent-deployer
  A pipeline that deploys unikernels and other services
  ☆23Updated 2 weeks ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated this week
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆33Updated 3 months ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• janestreet / ppx_python
  [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 4 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• coq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 5 months ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 5 months ago
• Lysxia / coq-ceres
  Coq library for serialization to S-expressions
  ☆18Updated last year
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 3 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated last month
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆30Updated 4 months ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last month
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆30Updated 9 months ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆56Updated last year
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 3 months ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated 4 months ago
• hipsleek / Heifer
  effects system for continuation
  ☆17Updated 2 weeks ago