rescript-association/reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

OCamlOtheranalysisocamldcetermination-detection-algorithmdeadcodeeliminationrescript
This is stars and forks stats for /rescript-association/reanalyze repository. As of 02 May, 2024 this repository has 266 stars and 20 forks.

reanalyze Program analysis for ReScript and OCaml projects targeting JS (ReScript) as well as native code (dune): Globally dead values, redundant optional arguments, dead modules, dead types (records and variants). Exception analysis. Termination. Expectations Early release. While the core functionality is reasonably stable, the CLI and annotations are subject to change. However, this is a tiny surface at the moment. Use The rest of this document describes the dead code analysis. For the Exception...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Guray00/IngegneriaInformaticaC++PHPHTML191+2490
iamdarcy/hioshop-serverJavaScriptOther602+1320+1
runtimeverification/verified-smart-contractsSolidityMakefilePython68101430
vaticle/typeqlJavaRustStarlark1990430
beromir/ServasSveltePHPCSS3680140
SwiftcordApp/SwiftcordSwiftOther1.6k0720
agh-riscv/mtm_ppcu_vlsi_riscvSystemVerilogTclShell0000
streetsidesoftware/cspell-dictsTeXRPython18001570
sjtug/SJTUBeamerTeXLuaOther4430460
TdP-esami/2020-06-03-simulazioneTSQLOther202470