Repository navigation

codecheck

Public

About

A multi-language whole-program analysis simple code checker

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.circleci		.circleci
TODO		TODO
bin		bin
lib		lib
tests		tests
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
codecheck.opam		codecheck.opam
dune		dune
dune-project		dune-project

Repository files navigation

codecheck

About

A multi-language whole-program analysis simple code checker

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages