Corentin De Souza's repositories

dead_code_analyzer

Dead-code analyzer for OCaml

Language:OCamlLicense:MITStargazers:3Issues:0Issues:0

D-ce

A static analyzer, coded in OCaml, targeting C code.

Language:OCamlStargazers:1Issues:3Issues:0

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:2Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:0Issues:0

Conf

My configuration files

Language:VimLStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

FunC

A functionally oriented C library

Language:CStargazers:0Issues:0Issues:0

JSCaml

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

valid

Basic logic checker

Language:PythonStargazers:0Issues:0Issues:0