colis-anr / lintshell

Related projects ⓘ

Alternatives and complementary repositories for lintshell

• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 6 months ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆18Updated 2 weeks ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 6 months ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆15Updated 5 years ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆33Updated 8 months ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 9 years ago
• janestreet / zstandard
  OCaml bindings to Zstandard
  ☆24Updated 2 months ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆17Updated 8 months ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆29Updated last week
• isakmp / ike
  Pure OCaml IKEv2
  ☆14Updated 8 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• c-cube / calculon
  Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
  ☆28Updated 10 months ago
• skydeck / cmitomli
  Convert a cmi file back to an mli interface
  ☆14Updated 12 years ago
• backtracking / bheap
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Updated 3 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
• Armael / ocaml-i3ipc
  A pure OCaml implementation of the i3 IPC protocol
  ☆24Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• mransan / btree
  A B-Tree implementation in OCaml
  ☆23Updated 8 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• cryptosense / key-parsers
  OCaml parsers for multiple key formats
  ☆15Updated 3 months ago
• samoht / gh-stats
  Simple tool to aggregates contribution statistics for GitHub organisations
  ☆10Updated 6 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆51Updated 3 months ago
• ptal / AbSolute
  Constraint solver based on abstract interpretation
  ☆10Updated 3 years ago
• laudiacay / noise-wireguard-ocaml
  wireguard but this time it's in ocaml
  ☆1Updated 5 years ago
• c-cube / ocaml-gnuplot
  bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
  ☆13Updated 6 months ago