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
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆34Updated last year
• aryx / syncweb
  literate programming meets unison
  ☆28Updated last week
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 4 months ago
• ptal / AbSolute
  Constraint solver based on abstract interpretation
  ☆10Updated 6 months ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 6 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• ocaml / dbm
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Updated 11 months ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆14Updated 6 years ago
• arthuraa / cryptis
  ☆11Updated this week
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆56Updated 8 months ago
• cfcs / PongOS
  Pong, the operating system version
  ☆36Updated 6 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 5 months ago
• mirage / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated 6 months ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• janestreet / zstandard
  OCaml bindings to Zstandard
  ☆25Updated last month
• backtracking / ptmap
  Implementation of maps of integers with Patricia trees
  ☆22Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• abeaumont / ocaml-scrypt-kdf
  Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
  ☆17Updated 3 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 5 months ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• mransan / btree
  A B-Tree implementation in OCaml
  ☆23Updated 8 years ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 3 years ago