File | Mode | Size |
---|---|---|
.docker | ||
.hints | ||
code | ||
doc | ||
lib | ||
providers | ||
snapshots | ||
specs | ||
vale | ||
.gitattributes | -rw-r--r-- | 410 bytes |
.gitignore | -rw-r--r-- | 2.0 KB |
.gitmodules | -rw-r--r-- | 0 bytes |
CMakeLists.txt | -rw-r--r-- | 3.4 KB |
CONVENTIONS.md | -rw-r--r-- | 4.3 KB |
Dockerfile | -rw-r--r-- | 1.9 KB |
INSTALL.md | -rw-r--r-- | 2.3 KB |
LICENSE | -rw-r--r-- | 11.1 KB |
Makefile | -rw-r--r-- | 2.7 KB |
Makefile.OCaml | -rw-r--r-- | 2.7 KB |
Makefile.include | -rw-r--r-- | 3.4 KB |
README.md | -rw-r--r-- | 6.6 KB |