{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"morbig","owner":"colis-anr","isFork":false,"description":"A static parser for POSIX Shell","allTopics":["shell","parse","parsing","ocaml-library","shell-script","shell-scripts","posix-sh","concrete-syntax-trees","ocaml","posix"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":5,"issueCount":29,"starsCount":192,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-20T04:35:56.194Z"}},{"type":"Public","name":"morsmall","owner":"colis-anr","isFork":false,"description":"A concise AST for POSIX shell","allTopics":["shell","ocaml"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":9,"starsCount":10,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-17T16:39:28.888Z"}},{"type":"Public","name":"colis-constraints","owner":"colis-anr","isFork":false,"description":"Constraints backend for the CoLiS Symbolic Interpreter","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-17T08:40:10.190Z"}},{"type":"Public","name":"colis-batch","owner":"colis-anr","isFork":false,"description":"A tool to run colis-language on packages and corpora of packages","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-17T08:34:08.103Z"}},{"type":"Public","name":"colis-language","owner":"colis-anr","isFork":false,"description":"A symbolic analyser for shell scripts.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":11,"starsCount":22,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-17T08:34:03.819Z"}},{"type":"Public","name":"colis-model","owner":"colis-anr","isFork":false,"description":"Model-based and specification based testing of Colis","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-14T12:14:50.591Z"}},{"type":"Public","name":"lintshell","owner":"colis-anr","isFork":false,"description":"A user-extensible lint for POSIX shell","allTopics":["lint","linting","linter","shell-script","shellcheck","posix"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":3,"starsCount":10,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-16T13:33:13.490Z"}},{"type":"Public","name":"ocaml-libdpkg","owner":"colis-anr","isFork":false,"description":"A wrapper around libdpkg for OCaml.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-10T19:47:00.572Z"}},{"type":"Public","name":"shstats","owner":"colis-anr","isFork":false,"description":"A statistical analyzer for corpora of shell scripts","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":7,"starsCount":3,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-09T09:14:37.789Z"}},{"type":"Public","name":"colis-covering-report","owner":"colis-anr","isFork":false,"description":"Reports for CoLiS-batch","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-04T12:45:47.563Z"}},{"type":"Public","name":"ftwu","owner":"colis-anr","isFork":false,"description":"An implementation for feature trees with updates","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-15T11:02:34.896Z"}},{"type":"Public","name":"sourcil-poc","owner":"colis-anr","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-18T08:32:16.003Z"}}],"repositoryCount":12,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"colis-anr repositories"}