Alternatives and similar repositories for lintshell

Users that are interested in lintshell are comparing it to the libraries listed below

• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 3 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆33Updated last year
• aryx / syncweb
  literate programming meets unison
  ☆28Updated this week
• arthuraa / cryptis
  ☆11Updated 2 weeks ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 2 months ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 10 months ago
• mirage / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated 5 months ago
• skydeck / cmitomli
  Convert a cmi file back to an mli interface
  ☆14Updated 12 years ago
• ygrek / ocaml-ssb
  OCaml implementation of Secure Scuttlebutt protocol
  ☆12Updated 5 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• thizanne / snake
  A basic snake game with js_of_ocaml.
  ☆12Updated 7 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• mirage / mrmime
  What do you mean?
  ☆43Updated 2 months ago
• ocaml / dbm
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Updated 10 months ago
• mirage / ocaml-dkim
  DKIM support on e-mail
  ☆11Updated 2 weeks ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• mato / flathead
  A port of Eric Lippert's flathead Z-machine interpreter to MirageOS
  ☆10Updated 5 years ago
• ptal / AbSolute
  Constraint solver based on abstract interpretation
  ☆10Updated 4 months ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated last year
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated last year
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last month
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 3 years ago