Projects in Awesome Lists by colis-anr
A curated list of projects in awesome lists by colis-anr .
https://github.com/colis-anr/morbig
A static parser for POSIX Shell
concrete-syntax-trees ocaml ocaml-library parse parsing posix posix-sh shell shell-script shell-scripts
Last synced: 08 Apr 2025
https://github.com/colis-anr/colis-language
A symbolic analyser for shell scripts.
Last synced: 16 May 2025
https://github.com/colis-anr/lintshell
A user-extensible lint for POSIX shell
lint linter linting posix shell-script shellcheck
Last synced: 16 May 2025
https://github.com/colis-anr/shstats
A statistical analyzer for corpora of shell scripts
Last synced: 14 Mar 2025
https://github.com/colis-anr/ftwu
An implementation for feature trees with updates
Last synced: 14 Mar 2025
https://github.com/colis-anr/colis-constraints
Constraints backend for the CoLiS Symbolic Interpreter
Last synced: 14 Mar 2025
https://github.com/colis-anr/colis-model
Model-based and specification based testing of Colis
Last synced: 14 Mar 2025
https://github.com/colis-anr/ocaml-libdpkg
A wrapper around libdpkg for OCaml.
Last synced: 14 Mar 2025
https://github.com/colis-anr/colis-batch
A tool to run colis-language on packages and corpora of packages
Last synced: 14 Mar 2025