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 / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated 2 months ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 11 months ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 9 months ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• skydeck / cmitomli
  Convert a cmi file back to an mli interface
  ☆14Updated 12 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 2 weeks ago
• ptal / AbSolute
  Constraint solver based on abstract interpretation
  ☆10Updated 2 months ago
• mato / flathead
  A port of Eric Lippert's flathead Z-machine interpreter to MirageOS
  ☆10Updated 5 years ago
• 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 9 months ago
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆33Updated 11 months ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆52Updated 2 months ago
• abbysmal / Toolboy
  A set of tools to work with Gameboy stuff
  ☆13Updated 2 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• stedolan / linkage
  easy-to-use wrapper for OCaml's Dynlink
  ☆16Updated 8 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 6 years ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• dbuenzli / omod
  Lookup and load installed OCaml modules
  ☆16Updated last month
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆15Updated last month
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated last month
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated 8 months ago
• cryptosense / key-parsers
  OCaml parsers for multiple key formats
  ☆15Updated 6 months ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆15Updated 6 years ago
• ygrek / ocaml-ssb
  OCaml implementation of Secure Scuttlebutt protocol
  ☆12Updated 5 years ago