CoLiS (@colis-anr)
Guthub

colis-anr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    242
  • Global Org. Rank 36,479 (Top 12 %)
  • Registered about 7 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location ๐Ÿ‡ซ๐Ÿ‡ท France
  • Country Total Rank 2,898
  • Country Ranking
    OCaml
         15

Top repositories

1

morbig

A static parser for POSIX Shell
OCaml
192
star
2

colis-language

A symbolic analyser for shell scripts.
OCaml
22
star
3

morsmall

A concise AST for POSIX shell
OCaml
10
star
4

lintshell

A user-extensible lint for POSIX shell
OCaml
10
star
5

shstats

A statistical analyzer for corpora of shell scripts
OCaml
3
star
6

sourcil-poc

OCaml
2
star
7

ftwu

An implementation for feature trees with updates
OCaml
2
star
8

colis-constraints

Constraints backend for the CoLiS Symbolic Interpreter
OCaml
1
star